Grumberg, Orna books & textbook
Model Checking, second edition (Cyber Physical Systems Series)
Clarke Jr., Edmund M. Grumberg, Orna Kroening, Daniel Peled, Doron Veith, Helmut
The MIT Press /2018-12-04 Hardcover / 424 Pages
isbn-10: 0262038838 / isbn-13: 9780262038836
Model Checking
Edmund M. Clarke Jr. Orna Grumberg Doron A. Peled
Mit Pr /1999-01-07 Hardcover / 330 Pages
isbn-10: 0262032708 / isbn-13: 9780262032704
Model Checking by Edmund Clarke (4-Feb-2000) Hardcover
Orna Grumberg Edmund M. Clarke
The MIT Press / Hardcover
Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday (Lecture Notes in Computer Science, 5533)
Grumberg, Orna Kaminski, Michael Katz, Shmuel Wintner, Shuly
Springer /2009-05-12 Paperback / 255 Pages
isbn-10: 3642017479 / isbn-13: 9783642017476
Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European ... (Lecture Notes in Computer Science, 4424)
Springer /2007-03-09 Paperback / 760 Pages
isbn-10: 3540712089 / isbn-13: 9783540712084
25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science, 5000)
Springer /2008-06-17 Paperback / 241 Pages
isbn-10: 3540698493 / isbn-13: 9783540698494
Computer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings (Lecture Notes in Computer Science, 1254)
Springer /1997-06-04 Paperback / 504 Pages
isbn-10: 3540631666 / isbn-13: 9783540631668
Inorganic Chemistry (Structure & Bonding)
Springer Verlag /1981T Hardcover / 176 Pages
isbn-10: 0387106553 / isbn-13: 9780387106557
Formal Logical Methods for System Security and Correctness (Nato Science for Peace and Security)
Orna Grumberg Orna Grumberg Tobias Nipkow Christian Pfaller
IOS Press /2008-03-15 Hardcover / 332 Pages
isbn-10: 1586038435 / isbn-13: 9781586038434
