*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Model Checking Software
    Model Checking Software
    Klaus Havelund
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    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, Springer
    Taschenbuch
    BOD - 2 Tage

    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, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,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
    Erika Abraham
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    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, Springer
    Taschenbuch
    BOD - 2 Tage

    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, Springer
    Taschenbuch
    BOD - 2 Tage

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

    96,29 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. NASA Formal Methods
    NASA Formal Methods
    Jyotirmoy V. Deshmukh
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    139,09 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1