Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Algebraic Methodology and Software Technology Algebraic Methodology and Software Technology

    Algebraic Methodology and Software Technology

    Grigore Rosu
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    15.07.2008

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. 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
  3. Formal Techniques for Distributed Systems Formal Techniques for Distributed Systems

    Formal Techniques for Distributed Systems

    Grigore Rosu
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    31.05.2012

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

    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

    Grigore Rosu
    Springer International Publishing, Springer International Publishing
    30.03.2022

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

    Taschenbuch
    42,79 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. 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

    Grigore Rosu
    Springer International Publishing, Springer International Publishing
    30.03.2022

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

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

    Model Checking Software

    Grigore Rosu
    Springer International Publishing, Springer International Publishing
    23.08.2022

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

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. 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
  1. 1