Detailsuche

Grid  List

  1. Formal Approaches to Software Testing and Runtime Verification
    0 %
    Formal Approaches to Software Testing and Runtime Verification
    Klaus Havelund
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 57,78 €

    Jetzt 57,77 €Ebook
    Alle Preise inkl. MwSt
  2. NASA Formal Methods
    0 %
    NASA Formal Methods
    Mihaela Bobaru
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 57,84 €

    Jetzt 57,83 €Ebook
    Alle Preise inkl. MwSt
  3. Model Checking Software
    0 %
    Model Checking Software
    Klaus Havelund
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 57,76 €

    Jetzt 57,75 €Ebook
    Alle Preise inkl. MwSt
  4. SPIN Model Checking and Software Verification
    0 %
    SPIN Model Checking and Software Verification
    Klaus Havelund
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 58,04 €

    Jetzt 58,03 €Ebook
    Alle Preise inkl. MwSt
  5. NASA Formal Methods
    0 %
    NASA Formal Methods
    Klaus Havelund
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 57,35 €

    Jetzt 57,34 €Ebook
    Alle Preise inkl. MwSt
  6. Runtime Verification
    0 %
    Runtime Verification
    Howard Barringer
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Unser bisheriger Preis:ORGPRICE: 57,99 €

    Jetzt 57,98 €Ebook
    Alle Preise inkl. MwSt
  7. Formal Methods
    0 %
    Formal Methods
    Klaus Havelund
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 102,21 €

    Jetzt 102,20 €Ebook
    Alle Preise inkl. MwSt
  8. NASA Formal Methods
    0 %
    NASA Formal Methods
    Jyotirmoy V. Deshmukh
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 140,21 €

    Jetzt 140,20 €Ebook
    Alle Preise inkl. MwSt
  9. 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 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. 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 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  11. 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 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  12. 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 Form...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1
  2. 2