Detailsuche

Grid  List

  1. Tools and Algorithms for the Construction and Analysis of Systems
    0 %
    Tools and Algorithms for the Construction and Analysis of Systems
    Jan Friso Groote
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 3,78 €

    Jetzt 3,77 €Ebook
    Alle Preise inkl. MwSt
  2. Reactive Systems
    0 %
    Reactive Systems
    Luca Aceto
    Cambridge University Press
    Ebook
    Sofort lieferbar

    Formal methods is the term used to describe the specification and verification of software and so...

    Unser bisheriger Preis:ORGPRICE: 106,93 €

    Jetzt 106,92 €Ebook
    Alle Preise inkl. MwSt
  3. Tools and Algorithms for the Construction and Analysis of Systems
    0 %
    Tools and Algorithms for the Construction and Analysis of Systems
    Jan Friso Groote
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 3,79 €

    Jetzt 3,78 €Ebook
    Alle Preise inkl. MwSt
  4. Formal Methods for Industrial Critical Systems
    0 %
    Formal Methods for Industrial Critical Systems
    Kim Guldstrand Larsen
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 57,34 €

    Jetzt 57,33 €Ebook
    Alle Preise inkl. MwSt
  5. Dependable Software Engineering. Theories, Tools, and Applications
    0 %
    Dependable Software Engineering. Theories, Tools, and Applications
    Kim Guldstrand Larsen
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 57,27 €

    Jetzt 57,26 €Ebook
    Alle Preise inkl. MwSt
  6. Verification, Model Checking, and Abstract Interpretation
    0 %
    Verification, Model Checking, and Abstract Interpretation
    Deepak D’Souza
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 57,12 €

    Jetzt 57,11 €Ebook
    Alle Preise inkl. MwSt
  7. Reachability Problems
    0 %
    Reachability Problems
    Kim Guldstrand Larsen
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 57,20 €

    Jetzt 57,19 €Ebook
    Alle Preise inkl. MwSt
  8. Principles of Model Checking
    0 %
    Principles of Model Checking
    Christel Baier
    The MIT Press
    Ebook
    Sofort lieferbar

    A comprehensive introduction to the foundations of model checking, a fully automated technique fo...

    Unser bisheriger Preis:ORGPRICE: 276,33 €

    Jetzt 276,32 €Ebook
    Alle Preise inkl. MwSt
  9. Dependable Software Engineering. Theories, Tools, and Applications
    0 %
    Dependable Software Engineering. Theories, Tools, and Applications
    Kim Guldstrand Larsen
    Springer, Berlin, Springer International Publishing, Springer
    Taschenbuch
    Print on Demand

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

    Unser bisheriger Preis:ORGPRICE: 53,49 €

    Jetzt 53,48 €Taschenbuch
    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
    Jan Friso Groote
    Springer, Berlin, Springer International Publishing, ETAPS Society, Springer
    Taschenbuch
    Print on Demand

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

    42,79 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  11. Formal Methods for Industrial Critical Systems
    0 %
    Formal Methods for Industrial Critical Systems
    Kim Guldstrand Larsen
    Springer, Berlin, Springer International Publishing, Springer
    Taschenbuch
    Print on Demand

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

    Unser bisheriger Preis:ORGPRICE: 53,49 €

    Jetzt 53,48 €Taschenbuch
    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
    Jan Friso Groote
    Springer, Berlin, Springer International Publishing, ETAPS Society, Springer
    Taschenbuch
    Print on Demand

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

    42,79 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1