mehr als bücher

Grid  List

  1. Coverage Metrics for Model Checking
    Coverage Metrics for Model Checking
    Hana Chockler
    LAP LAMBERT Academic Publishing
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    59,00 €*
  2. Hardware and Software: Verification and Testing
    Hardware and Software: Verification and Testing
    Hana Chockler
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  3. Validation of Evolving Software
    Validation of Evolving Software
    Hana Chockler
    Springer Verlag GmbH
    Buch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  4. Validation of Evolving Software
    Validation of Evolving Software
    Hana Chockler
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt
    53,49 €*
  5. Computer Aided Verification
    Computer Aided Verification
    Hana Chockler
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  6. Computer Aided Verification
    Computer Aided Verification
    Hana Chockler
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  1. 1