Grid   List

  1. Formal Techniques for Distributed Systems

    Formal Techniques for Distributed Systems

    Holger Giese
    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. Algebraic Methodology and Software Technology

    Algebraic Methodology and Software Technology

    José Meseguer
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

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

    Runtime Verification

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

    Model Checking Software

    Owolabi Legunsen
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    96,29 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  6. Algebraic Methodology and Software Technology

    Algebraic Methodology and Software Technology

    Grigore Rosu
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  7. 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
  8. Formal Techniques for Distributed Systems

    Formal Techniques for Distributed Systems

    Grigore Rosu
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  9. Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Grigore Rosu
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This open access book constitutes the proceedin...

    42,79 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  10. Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Grigore Rosu
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This open access book constitutes the proceedin...

    42,79 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  11. Model Checking Software

    Model Checking Software

    Grigore Rosu
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

    106,99 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  1. 1
Google Plus
Powered by Inooga