Erweiterte Suche

Grid  List

  1. CONCUR 2001 - Concurrency Theory CONCUR 2001 - Concurrency Theory

    CONCUR 2001 - Concurrency Theory

    Mogens Nielsen
    Springer Berlin Heidelberg
    13.08.2001

    This book constitutes the refereed proceedings of the 12th International Conference on Concurrenc...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications

    Dependable Software Engineering. Theories, Tools, and Applications

    Kim Guldstrand Larsen
    Springer International Publishing, Springer International Publishing
    17.10.2017

    This book constitutes the proceedings of the Third International Symposium on Dependable Software...

    Taschenbuch
    53,49 €
    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

    Kim Guldstrand Larsen
    Springer International Publishing, Springer Nature Switzerland
    20.03.2021

    This open access two-volume set constitutes the proceedings of the 27th International Conference ...

    Taschenbuch
    42,79 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems

    Formal Methods for Industrial Critical Systems

    Tim Willemse
    Springer International Publishing, Springer Nature Switzerland
    25.07.2019

    This book constitutes the proceedings of the 24th International Conference on Formal Methods for ...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abstract Interpretation

    Deepak D’Souza
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    07.01.2015

    This book constitutes the refereed proceedings of the 16th International Conference on Verificati...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems

    Formal Modeling and Analysis of Timed Systems

    Peter Niebert
    Springer Berlin Heidelberg
    08.04.2004

    This book constitutes the thoroughly refereed post-proceedings of the First International Worksho...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Reachability Problems Reachability Problems

    Reachability Problems

    Kim Guldstrand Larsen
    Springer International Publishing, Springer International Publishing
    13.09.2016

    This book constitutes the refereed proceedings of the 10th International Workshop on Reachability...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. 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

    Ed Brinksma
    Springer Berlin Heidelberg
    23.11.1995

    This book presents 12 revised refereed papers selected as the best from 32 submissions for the Fi...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Models, Mindsets, Meta: The What, the How, and the Why Not? Models, Mindsets, Meta: The What, the How, and the Why Not?

    Models, Mindsets, Meta: The What, the How, and the Why Not?

    Tiziana Margaria
    Springer International Publishing, Springer Nature Switzerland
    26.06.2019

    This Festschrift volume is published in honor of Bernhard Steffen, Professor at the Technical Uni...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. 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

    Kim Guldstrand Larsen
    Springer International Publishing, Springer Nature Switzerland
    23.03.2021

    This open access two-volume set constitutes the proceedings of the 27th International Conference ...

    Taschenbuch
    42,79 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  11. Computer Aided Verification Computer Aided Verification

    Computer Aided Verification

    Arne Skou
    Springer Berlin Heidelberg
    22.04.1992

    This volume contains the proceedings of the thirdInternational Workshop on Computer Aided Verific...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  12. Computer Aided Verification Computer Aided Verification

    Computer Aided Verification

    Kim G. Larsen
    Springer Berlin Heidelberg
    19.07.2002

    This volume contains the proceedings of the conference on Computer Aided V- i?cation (CAV 2002), ...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1
  2. 2