*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Validation of Evolving Software
    Validation of Evolving Software
    Natasha Sharygina
    Palgrave Macmillan
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Computer Aided Verification
    Computer Aided Verification
    Natasha Sharygina
    Springer
    Taschenbuch
    BOD - 2 Tage

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

    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Software Verification
    Software Verification
    Natasha Sharygina
    Springer
    Taschenbuch
    BOD - 2 Tage

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

    58,84 €
    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
    Natasha Sharygina
    Springer
    Taschenbuch
    BOD - 2 Tage

    This open access book constitutes the proceedings of the 29th 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
    Natasha Sharygina
    Springer
    Taschenbuch
    BOD - 2 Tage

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

    42,79 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Validation of Evolving Software
    Validation of Evolving Software
    Leonardo Mariani
    Palgrave Macmillan
    Buch
    BOD - 7 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1