Detailsuche

Grid  List

  1. Validation of Evolving Software
    0 %
    Validation of Evolving Software
    Hana Chockler
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 57,21 €

    Jetzt 53,49 €Ebook
    Alle Preise inkl. MwSt
  2. Computer Aided Verification
    0 %
    Computer Aided Verification
    Natasha Sharygina
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 114,92 €

    Jetzt 114,91 €Ebook
    Alle Preise inkl. MwSt
  3. Software Verification
    0 %
    Software Verification
    Roderick Bloem
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 64,59 €

    Jetzt 64,58 €Ebook
    Alle Preise inkl. MwSt
  4. Tools and Algorithms for the Construction and Analysis of Systems
    0 %
    Tools and Algorithms for the Construction and Analysis of Systems
    Sriram Sankaranarayanan
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 3,84 €

    Jetzt 3,83 €Ebook
    Alle Preise inkl. MwSt
  5. Tools and Algorithms for the Construction and Analysis of Systems
    0 %
    Tools and Algorithms for the Construction and Analysis of Systems
    Sriram Sankaranarayanan
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 3,84 €

    Jetzt 3,83 €Ebook
    Alle Preise inkl. MwSt
  6. Validation of Evolving Software
    Validation of Evolving Software
    Hana Chockler
    Springer International Publishing, Springer International Publishing
    Buch
    Print on Demand

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

    53,49 €Buch
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Computer Aided Verification
    Computer Aided Verification
    Helmut Veith
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    106,99 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Validation of Evolving Software
    Validation of Evolving Software
    Hana Chockler
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

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

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Software Verification
    Software Verification
    Roderick Bloem
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

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

    58,84 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. 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 Nature Switzerland
    Taschenbuch
    Print on Demand

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

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

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

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