hana chockler

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. Hardware and Software: Verification and Testing
    Hardware and Software: Verification and Testing
    Hana Chockler
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Haifa Verification Conference, HVC 2008, held in Haifa, Israel in October 2008.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. 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
  4. Hardware and Software: Verification and Testing
    Hardware and Software: Verification and Testing
    Alan J. Hu
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    These are the conference proceedings of the 4th Haifa Veri?cation Conference, held October 27-30, 2008 in Haifa, Israel. This international conference is a unique venue that brings together leading...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  5. 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
  6. Computer Aided Verification
    Computer Aided Verification
    Georg Weissenbacher
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in Ju...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  7. Computer Aided Verification
    Computer Aided Verification
    Georg Weissenbacher
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in Ju...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  8. 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 checking),we verify the correctness of a system with respect to a desired behavior bychecking whether ...
    59,00 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>