Computer Aided Verification 1
bokomslag Computer Aided Verification
Data & IT

Computer Aided Verification

Hana Chockler • Georg Weissenbacher

Klotband

1279:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 5-10 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

  • 2020
  • Författare: Hana Chockler, Georg Weissenbacher
  • Format: Klotband
  • ISBN: 9781013270994
  • Språk: Engelska
  • Utgivningsdatum: 2020-10-08
  • Förlag: Saint Philip Street Press

Du kanske gillar

  1. bokomslag Computer Aided Verification

    Computer Aided Verification

    Georg Weissenbacher Hana Chockler

    Pocket

    1179:-
  2. bokomslag Computer Aided Verification

    Computer Aided Verification

    Georg Weissenbacher Hana Chockler

    Pocket

    749:-
  3. bokomslag Computer Aided Verification

    Computer Aided Verification

    Georg Weissenbacher Hana Chockler

    Pocket

    749:-
  4. bokomslag Computer Aided Verification

    Computer Aided Verification

    Georg Weissenbacher Hana Chockler

    Klotband

    1149:-
  5. bokomslag Computer Aided Verification

    Computer Aided Verification

    Georg Weissenbacher Hana Chockler

    Pocket

    1069:-
  6. bokomslag Hardware and Software: Verification and Testing

    Hardware and Software: Verification a...

    Alan J Hu Hana Chockler

    Pocket

    749:-
  7. bokomslag Beiträge zur Geschichte und Literatur, vorzüglich aus den Archiven und Bibliotheken des Kantons Aargau

    Beiträge zur Geschichte und Literatur...

    Heinrich Kurz, Placid Weissenbach, Placid Weissenbach

    Pocket

    1399:-
  8. bokomslag Validation of Evolving Software

    Validation of Evolving Software

    Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina

    749:-
  9. bokomslag Validation of Evolving Software

    Validation of Evolving Software

    Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina

    Inbunden

    749:-
  10. bokomslag Din tid kommer

    Din tid kommer

    Carl-Johan Vallgren

    Pocket

    125:-

Andra av samma författare

  1. bokomslag Validation of Evolving Software

    Validation of Evolving Software

    Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina

    Inbunden

    749:-
  2. bokomslag Validation of Evolving Software

    Validation of Evolving Software

    Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina

    749:-
  3. bokomslag Hardware and Software: Verification and Testing

    Hardware and Software: Verification a...

    Alan J Hu Hana Chockler

    Pocket

    749:-