Model Checking 1
bokomslag Model Checking
Data & IT

Model Checking

Edmund M Clarke Jr • Orna Grumberg • Daniel Kroening • Doron Peled • Helmut Veith

Klotband

1119:-

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

Uppskattad leveranstid 2-7 arbetsdagar

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

  • 424 sidor
  • 2018
  • Författare: Edmund M Clarke Jr, Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith
  • Format: Klotband
  • ISBN: 9780262038836
  • Språk: Engelska
  • Antal sidor: 424
  • Utgivningsdatum: 2018-12-04
  • Förlag: MIT Press Ltd

Du kanske gillar

  1. bokomslag Verhaltenstherapie

    Verhaltenstherapie

    Steffen Fliegel, Wolfgang Jänicke, Sandra Münstermann, Günter Ruggaber, Andreas Veith

    Inbunden

    1169:-
  2. bokomslag Information-Driven Planning and Control

    Information-Driven Planning and Control

    Thomas A Wettergren Silvia Ferrari

    Inbunden

    1199:-
  3. bokomslag Digitale Transformationen Der Gesellschaft: Sozialethische Perspektiven Auf Den Technologischen Wandel

    Digitale Transformationen Der Gesells...

    Sebastian Kistler, Anna Puzio, Kistler Sebastian, Anna Maria Riedl, Werner Veith

    Häftad

    479:-
  4. bokomslag Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abs...

    Francesco Logozzo, Doron A Peled, Leonore D Zuck, Doron A Peled

    Pocket

    729:-
  5. bokomslag Hardware and Software: Verification and Testing

    Hardware and Software: Verification a...

    Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz

    Pocket

    729:-
  6. bokomslag Model Checking

    Model Checking

    Edmund M Clarke Jr, Orna Grumberg, Doron Peleg

    Inbunden

    939:-
  7. bokomslag Flying High Through the Course of Life - The Challenge

    Flying High Through the Course of Lif...

    Dr Orna Markus Ben-Zvi Orna Markus Be...

    Pocket

    269:-
  8. bokomslag African Activists of the Twentieth Century

    African Activists of the Twentieth Ce...

    Hugh MacMillan, Tabitha Kanogo, Robert R Edgar, Roy Doron, Toyin Falola

    509:-
  9. bokomslag Das Dritte Reich und die Juden

    Das Dritte Reich und die Juden

    Orna Kenan Saul Friedländer

    Pocket

    229:-
  10. bokomslag Normative Language Policy

    Normative Language Policy

    Leigh Oakes, Yael Peled, Leigh Oakes, Yael Peled

    569:-

Andra av samma författare

  1. bokomslag Partial Order Methods in Verification

    Partial Order Methods in Verification

    Doron Peled, Vaughan R Pratt, Gerard J Holzmann

    Inbunden

    1809:-
  2. bokomslag Handbook of Model Checking

    Handbook of Model Checking

    Edmund M Clarke Jr, Thomas A Henzinger, Helmut Veith, Roderick Bloem, Edmund M Clarke

    2029:-
  3. bokomslag Handbook of Model Checking

    Handbook of Model Checking

    Edmund M Clarke Jr, Thomas A Henzinger, Helmut Veith, Roderick Bloem, Edmund M Clarke

    Inbunden

    1969:-
  4. bokomslag Validation of Evolving Software

    Validation of Evolving Software

    Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina

    Inbunden

    729:-
  5. bokomslag Verified Software: Theories, Tools and Experiments

    Verified Software: Theories, Tools an...

    Daniel Kroening Dimitra Giannakopoulou

    Pocket

    709:-
  6. bokomslag Computer Aided Verification

    Computer Aided Verification

    Daniel Kroening, Corina S P?S?Reanu, Corina S Pasareanu, Corina S PăSăReanu

    Pocket

    729:-
  7. bokomslag Computer Aided Verification

    Computer Aided Verification

    Daniel Kroening, Corina S P?S?Reanu, Corina S Pasareanu, Corina S PăSăReanu

    Pocket

    729:-
  8. bokomslag Validation of Evolving Software

    Validation of Evolving Software

    Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina

    729:-
  9. bokomslag Automated Technology for Verification and Analysis

    Automated Technology for Verification...

    Cyrille Artho, Axel Legay, Doron Peled

    Pocket

    729:-
  10. bokomslag Computer-Aided Verification

    Computer-Aided Verification

    Edmund M Clarke Jr, Robert P Kurshan, Edmund M Clarke

    Pocket

    709:-