*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Formal Approaches to Software Testing and Runtime Verification
    Formal Approaches to Software Testing and Runtime Verification
    Klaus Havelund
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Formal Techniques for Distributed Systems
    Formal Techniques for Distributed Systems
    Grigore Rosu
    Springer Spektrum
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Algebraic Methodology and Software Technology
    Algebraic Methodology and Software Technology
    José Meseguer
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    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
    Dana Fisman
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    42,79 €
    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
    Dana Fisman
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    42,79 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Model Checking Software
    Model Checking Software
    Owolabi Legunsen
    Springer
    Taschenbuch
    BOD - 2 Tage

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

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