Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems

    Formal Modeling and Analysis of Timed Systems

    Sriram Sankaranarayanan
    Springer, Springer
    12.08.2015

    This book constitutes the refereed proceedings of the 13th International Conference on Formal Mod...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Sriram Sankaranarayanan
    Springer, Springer
    20.04.2023

    This open access book constitutes the proceedings of the 29th International Conference on Tools ...

    Taschenbuch
    42,79 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Sriram Sankaranarayanan
    Springer, Palgrave Macmillan
    22.04.2023

    This open access book constitutes the proceedings of the 29th International Conference on Tools a...

    Taschenbuch
    42,79 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis

    Automated Technology for Verification and Analysis

    S. Akshay
    Springer, Springer
    12.02.2025

    The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Sym...

    Taschenbuch
    160,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis

    Automated Technology for Verification and Analysis

    S. Akshay
    Springer, Springer
    01.02.2025

    The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Sym...

    Taschenbuch
    139,09 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abstract Interpretation

    Krishna Shankaranarayanan
    Springer, Springer
    23.01.2025

    The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Con...

    Taschenbuch
    69,54 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abstract Interpretation

    Krishna Shankaranarayanan
    Springer, Springer
    24.01.2025

    The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Con...

    Taschenbuch
    69,54 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1