*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. 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
    Taschenbuch
    Print on Demand

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

    74,89 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Computer Aided Verification
    Computer Aided Verification
    Kim G. Larsen
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    123,04 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Reachability Problems
    Reachability Problems
    Kim Guldstrand Larsen
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Verification, Model Checking, and Abstract Interpretation
    Verification, Model Checking, and Abstract Interpretation
    Deepak D’Souza
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    55,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Computer Aided Verification
    Computer Aided Verification
    Arne Skou
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    96,29 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Formal Modeling and Analysis of Timed Systems
    Formal Modeling and Analysis of Timed Systems
    Peter Niebert
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. CONCUR 2001 - Concurrency Theory
    CONCUR 2001 - Concurrency Theory
    Mogens Nielsen
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Dependable Software Engineering. Theories, Tools, and Applications
    Dependable Software Engineering. Theories, Tools, and Applications
    Kim Guldstrand Larsen
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

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

    53,49 €
    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?
    Tiziana Margaria
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

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

    55,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Formal Methods for Industrial Critical Systems
    Formal Methods for Industrial Critical Systems
    Tim Willemse
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

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

    54,19 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  11. 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 International Publishing
    Taschenbuch
    Print on Demand

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

    44,78 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  12. 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 International Publishing
    Taschenbuch
    Print on Demand

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

    44,78 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1