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).

Tillfälligt slut online – klicka på "Bevaka" för att få ett mejl så fort varan går att köpa igen.

  • 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 Verifying Cyber-Physical Systems

    Verifying Cyber-Physical Systems

    Sayan Mitra

    Inbunden

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

    Information-Driven Planning and Control

    Thomas A Wettergren Silvia Ferrari

    Inbunden

    1219:-
  3. bokomslag Verhaltenstherapie

    Verhaltenstherapie

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

    Inbunden

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

    749:-
  5. bokomslag Model Checking

    Model Checking

    Edmund M Clarke Jr, Orna Grumberg, Doron Peleg

    Inbunden

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

    Hardware and Software: Verification a...

    Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz

    Pocket

    749:-
  7. bokomslag Endoleaks and Endotension

    Endoleaks and Endotension

    Frank J Veith, Richard Baum, Frank J Veith, Richard Baum, Frank J Veith

    Inbunden

    2179:-
  8. bokomslag Normative Language Policy

    Normative Language Policy

    Leigh Oakes, Yael Peled, Leigh Oakes, Yael Peled

    489:-
  9. bokomslag Unimagined Futures - ICT Opportunities and Challenges

    Unimagined Futures - ICT Opportunitie...

    Leon Strous, Roger Johnson, David Alan Grier, Doron Swade

    Inbunden

    1339:-
  10. bokomslag Das Jüdische Frankfurt - Von Der Emanzipation Bis 1933

    Das Jüdische Frankfurt - Von Der Eman...

    Christian Wiese, Stefan Vogt, Mirjam Wenzel, Doron Kiesel, Gury Schneider-Ludorff

    Klotband

    1429:-

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

    1919:-
  2. bokomslag Handbook of Model Checking

    Handbook of Model Checking

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

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

    1999:-
  4. bokomslag Validation of Evolving Software

    Validation of Evolving Software

    Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina

    Inbunden

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

    Verified Software: Theories, Tools an...

    Daniel Kroening Dimitra Giannakopoulou

    Pocket

    719:-
  6. bokomslag Computer Aided Verification

    Computer Aided Verification

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

    Pocket

    749:-
  7. bokomslag Computer Aided Verification

    Computer Aided Verification

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

    Pocket

    749:-
  8. bokomslag Validation of Evolving Software

    Validation of Evolving Software

    Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina

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

    Automated Technology for Verification...

    Cyrille Artho, Axel Legay, Doron Peled

    Pocket

    749:-
  10. bokomslag Computer-Aided Verification

    Computer-Aided Verification

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

    Pocket

    729:-