Profisuche

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 validat...

    53,49 €
    Alle Preise inkl. MwSt
  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...

    96,29 €
    Alle Preise inkl. MwSt
  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 S...

    58,84 €
    Alle Preise inkl. MwSt
  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 validat...

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  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...

    106,99 €
    Alle Preise inkl. MwSt | zzgl. Versand
  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 validat...

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  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 S...

    58,84 €
    Alle Preise inkl. MwSt | zzgl. Versand
  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 ...

    42,79 €
    Alle Preise inkl. MwSt | zzgl. Versand
  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 Tool...

    42,79 €
    Alle Preise inkl. MwSt | zzgl. Versand
  1. 1