Grid   List

  1. NASA Formal Methods

    NASA Formal Methods

    Mihaela Bobaru
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  2. Formal Approaches to Software Testing and Runtime Verification

    Formal Approaches to Software Testing and Runtime Verification

    Klaus Havelund
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the thoroughly refereed p...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  3. Model Checking Software

    Model Checking Software

    Klaus Havelund
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  4. Formal Methods

    Formal Methods

    Klaus Havelund
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    96,29 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  5. Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Erika Abraham
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the proceedings of the 20...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  6. NASA Formal Methods

    NASA Formal Methods

    Klaus Havelund
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  7. Runtime Verification

    Runtime Verification

    Howard Barringer
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  8. SPIN Model Checking and Software Verification

    SPIN Model Checking and Software Verification

    Klaus Havelund
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    The SPIN workshop is a forum for researchers in...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  9. NASA Formal Methods

    NASA Formal Methods

    Jyotirmoy V. Deshmukh
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the proceedings of the 14...

    128,39 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  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 in...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  11. Formal Methods

    Formal Methods

    Klaus Havelund
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

    96,29 €
    Alle Preise inkl. MwSt | zzgl. Versand
    Zum Merkzettel
  12. 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-int...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  1. 1
  2. 2
Google Plus
Powered by Inooga