Erweiterte Suche

Grid  List

  1. SPIN Model Checking and Software Verification SPIN Model Checking and Software Verification

    SPIN Model Checking and Software Verification

    Klaus Havelund
    Springer Berlin Heidelberg
    21.08.2000

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Formal Methods Formal Methods

    Formal Methods

    Klaus Havelund
    Springer International Publishing, Springer Nature Switzerland
    12.07.2018

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

    Taschenbuch
    96,29 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Formal Approaches to Software Testing and Runtime Verification Formal Approaches to Software Testing and Runtime Verification

    Formal Approaches to Software Testing and Runtime Verification

    Klaus Havelund
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    07.12.2006

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

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

    Tools and Algorithms for the Construction and Analysis of Systems

    Klaus Havelund
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    11.03.2014

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. NASA Formal Methods NASA Formal Methods

    NASA Formal Methods

    Klaus Havelund
    Springer International Publishing, Springer International Publishing
    09.04.2015

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Model Checking Software Model Checking Software

    Model Checking Software

    Klaus Havelund
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    25.07.2008

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. NASA Formal Methods NASA Formal Methods

    NASA Formal Methods

    Jyotirmoy V. Deshmukh
    Springer International Publishing, Springer International Publishing
    20.05.2022

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

    Taschenbuch
    139,09 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Runtime Verification Runtime Verification

    Runtime Verification

    Howard Barringer
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This volume contains the proceedings of the 2010 Runtime Veri?cation conf- ence (RV 2010), which ...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 99,99 €

    Jetzt 53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. NASA Formal Methods NASA Formal Methods

    NASA Formal Methods

    Mihaela Bobaru
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This book constitutes the refereed proceedings of the Third International Symposium on NASA Forma...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 96,29 €

    Jetzt 53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1