Computer Aided Verification 1
bokomslag Computer Aided Verification
Data & IT

Computer Aided Verification

Hana Chockler • Georg Weissenbacher

Pocket

1079:-

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

Uppskattad leveranstid 7-12 arbetsdagar

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

Andra format:

  • 554 sidor
  • 2020
  • Författare: Hana Chockler, Georg Weissenbacher
  • Format: Pocket/Paperback
  • ISBN: 9781013271007
  • Språk: Engelska
  • Antal sidor: 554
  • 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

    1199:-
  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

    1159:-
  5. bokomslag Computer Aided Verification

    Computer Aided Verification

    Georg Weissenbacher Hana Chockler

    Klotband

    1289:-
  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...

    Placid Weissenbach Heinrich Kurz

    Pocket

    1369:-
  8. bokomslag Validation of Evolving Software

    Validation of Evolving Software

    Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina

    749:-
  9. bokomslag Traditionsbewusstsein und Aufbruch

    Traditionsbewusstsein und Aufbruch

    Karin Marti-Weissenbach Hanspeter Marti

    Inbunden

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

    Beiträge zur Geschichte und Literatur...

    Placid Weissenbach Heinrich Kurz

    Klotband

    1749:-

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:-