| Books 1 - 5 of 5 | Previous | Next | 
|  | | Model Checking
by Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled
Hardcover, 314 Pages, Published 1999 by The MIT Press
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Computer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 997, Proceedings (Lecture Notes in Computer Science) (1st Edition)
by Orna Grumberg (Editor)
Paperback, 486 Pages, Published 1997 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Tools and Algorithms for the Construction and Analysis of Systems: 3th International Conference, TACAS 2007 Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science) (1st Edition)
by Orna Grumberg (Editor), Michael Huth (Editor)
Paperback, 738 Pages, Published 2007 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Formal Logical Methods for System Security and Correctness (Nato Science for Peace and Security)
by Orna Grumberg (Editor), Tobias Nipkow (Editor), Christian Pfaller (Editor)
Hardcover, 332 Pages, Published 2008 by IOS Press
Compare Prices | Add to Wish List | Set Price Alert |
|  | | 25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science) (1st Edition)
by Orna Grumberg (Editor), Helmut Veith (Editor)
Hardcover, 231 Pages, Published 2008 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 5 of 5 | Previous | Next |
|