Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Validation of Evolving Software Validation of Evolving Software

    Validation of Evolving Software

    Hana Chockler
    Springer International Publishing, Springer International Publishing
    17.10.2016

    This book describes the methodology and accompanying technology for reducing the costs of validat...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Computer Aided Verification Computer Aided Verification

    Computer Aided Verification

    Helmut Veith
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    14.07.2013

    This book constitutes the thoroughly refereed proceedings of the 25th International Conference on...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Validation of Evolving Software Validation of Evolving Software

    Validation of Evolving Software

    Hana Chockler
    Springer International Publishing, Springer International Publishing
    10.07.2015

    This book describes the methodology and accompanying technology for reducing the costs of validat...

    Gebunden
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Software Verification Software Verification

    Software Verification

    Roderick Bloem
    Springer International Publishing, Springer Nature Switzerland
    22.02.2022

    This book constitutes the refereed proceedings of the 13th International Conference on Verified S...

    Taschenbuch
    58,84 €
    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

    Natasha Sharygina
    Springer Nature Switzerland, Springer International Publishing
    20.04.2023

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

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

    Natasha Sharygina
    Springer Nature Switzerland, Springer International Publishing
    22.04.2023

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

    Taschenbuch
    42,79 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1