Computer Aided Verification 1
bokomslag Computer Aided Verification
Data & IT

Computer Aided Verification

Hana Chockler • Georg Weissenbacher

Pocket

1069:-

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

Uppskattad leveranstid 3-8 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

    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

    Klotband

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

    Hardware and Software: Verification a...

    Alan J Hu Hana Chockler

    Pocket

    749:-
  7. bokomslag Validation of Evolving Software

    Validation of Evolving Software

    Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina

    749:-
  8. bokomslag Validation of Evolving Software

    Validation of Evolving Software

    Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina

    Inbunden

    749:-
  9. Ny
    bokomslag Skärvor av en syster

    Skärvor av en syster

    Sarah Easter Collins

    Pocket

    79:- (125:-)
  10. 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:-

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