*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Model Checking Software
    Model Checking Software
    Klaus Havelund
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model C...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Formal Approaches to Software Testing and Runtime Verification
    Formal Approaches to Software Testing and Runtime Verification
    Klaus Havelund
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    Software validation is one of the most cost-intensive tasks in modern software production process...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. NASA Formal Methods
    NASA Formal Methods
    Klaus Havelund
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal ...

    55,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Klaus Havelund
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the proceedings of the 20th International Conference on Tools and Algorithm...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. SPIN Model Checking and Software Verification
    SPIN Model Checking and Software Verification
    Klaus Havelund
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    The SPIN workshop is a forum for researchers interested in the subject of automata-based, explici...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Formal Methods
    Formal Methods
    Klaus Havelund
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Meth...

    101,59 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. NASA Formal Methods
    NASA Formal Methods
    Jyotirmoy V. Deshmukh
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods,...

    144,43 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1