Detailsuche

Grid  List

  1. Hardware and Software: Verification and Testing
    0 %
    Hardware and Software: Verification and Testing
    Hana Chockler
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    These are the conference proceedings of the 4th Haifa Veri?cation Conference, held October 27-30,...

    Unser bisheriger Preis:ORGPRICE: 71,39 €

    Jetzt 57,64 €Ebook
    Alle Preise inkl. MwSt
  2. 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
  3. Computer Aided Verification
    0 %
    Computer Aided Verification
    Hana Chockler
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the ...

    Unser bisheriger Preis:ORGPRICE: 3,84 €

    Jetzt 3,83 €Ebook
    Alle Preise inkl. MwSt
  4. Computer Aided Verification
    0 %
    Computer Aided Verification
    Hana Chockler
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the ...

    Unser bisheriger Preis:ORGPRICE: 3,83 €

    Jetzt 3,82 €Ebook
    Alle Preise inkl. MwSt
  5. 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
  6. Coverage Metrics for Model Checking
    Coverage Metrics for Model Checking
    Hana Chockler
    LAP LAMBERT Academic Publishing
    Taschenbuch
    Print on Demand

    This book considers formal verification of computerized systems. In formal verification (model ch...

    59,00 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Hardware and Software: Verification and Testing
    Hardware and Software: Verification and Testing
    Alan J. Hu
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    These are the conference proceedings of the 4th Haifa Veri?cation Conference, held October 27-30,...

    53,49 €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. Computer Aided Verification
    Computer Aided Verification
    Georg Weissenbacher
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of t...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Computer Aided Verification
    Computer Aided Verification
    Georg Weissenbacher
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of t...

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