natasha sharygina

Grid   List

  1. Validation of Evolving Software
    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 validation of changes by introducing automatic techniques to analyze and test software increments. It build...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Computer Aided Verification
    Computer Aided Verification
    Natasha Sharygina
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013. The 54 regular a...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Software Verification
    Software Verification
    Roderick Bloem
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 202...
    58,84 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Validation of Evolving Software
    Validation of Evolving Software
    Hana Chockler
    Springer International Publishing, Springer International Publishing
    Buch
    Bezug 11-15
    This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It build...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  5. Computer Aided Verification
    Computer Aided Verification
    Helmut Veith
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013. The 54 regular a...
    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  6. Validation of Evolving Software
    Validation of Evolving Software
    Hana Chockler
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It build...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  7. Software Verification
    Software Verification
    Roderick Bloem
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14 sup thsupInternational Workshop on Numerical Software Verificati...
    58,84 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  8. 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
    Taschenbuch
    Bezug 11-15
    This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as ...
    42,79 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  9. 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
    Taschenbuch
    Bezug 11-15
    This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of...
    42,79 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>