Erweiterte Suche

Grid  List

  1. Validation of Evolving Software Validation of Evolving Software

    Validation of Evolving Software

    Hana Chockler
    Springer International Publishing, Springer International Publishing
    17.10.2016

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Computer Aided Verification Computer Aided Verification

    Computer Aided Verification

    Georg Weissenbacher
    Springer International Publishing, Springer International Publishing
    22.07.2018

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Computer Aided Verification Computer Aided Verification

    Computer Aided Verification

    Georg Weissenbacher
    Springer International Publishing, Springer International Publishing
    22.07.2018

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Coverage Metrics for Model Checking Coverage Metrics for Model Checking

    Coverage Metrics for Model Checking

    Hana Chockler
    LAP LAMBERT Academic Publishing
    26.07.2011

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

    Taschenbuch
    59,00 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Hardware and Software: Verification and Testing Hardware and Software: Verification and Testing

    Hardware and Software: Verification and Testing

    Alan J. Hu
    Springer Berlin Heidelberg
    22.04.2009

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Validation of Evolving Software Validation of Evolving Software

    Validation of Evolving Software

    Hana Chockler
    Springer International Publishing, Springer International Publishing
    10.07.2015

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

    Gebunden
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1