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: 56,18 €

    Jetzt 56,17 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  2. Formal Techniques for Distributed Systems
    -0 %

    Formal Techniques for Distributed Systems

    Holger Giese
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference o...

    Unser bisheriger Preis:ORGPRICE: 55,97 €

    Jetzt 55,96 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  3. Algebraic Methodology and Software Technology
    -0 %

    Algebraic Methodology and Software Technology

    Jose Meseguer
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 12th International Conference on Algebraic ...

    Unser bisheriger Preis:ORGPRICE: 56,36 €

    Jetzt 56,35 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  4. Runtime Verification
    -0 %

    Runtime Verification

    Howard Barringer
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Unser bisheriger Preis:ORGPRICE: 55,97 €

    Jetzt 55,96 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  5. Model Checking Software
    -0 %

    Model Checking Software

    Owolabi Legunsen
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 28th International Symposium on Model Check...

    Unser bisheriger Preis:ORGPRICE: 111,56 €

    Jetzt 111,55 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  6. Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Dana Fisman
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This open access book constitutes the proceedings of the 28th International Conference on Tools a...

    3,72 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  7. Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Dana Fisman
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This open access book constitutes the proceedings of the 28th International Conference on Tools a...

    3,71 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  8. 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 of the 12th International Conference on Algebraic ...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. 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 of the 14th IFIP WG 6.1 International Conference o...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Runtime Verification

    Runtime Verification

    Howard Barringer
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    99,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1