| Books 1 - 9 of 9 | Previous | Next | 
|  | | Software Reliability Methods (Texts in Computer Science) (1st Edition)
by Doron A. Peled
Hardcover, 331 Pages, Published 2001 by Springer, 1st Edition
Compare Prices | Add to Wish List |
|  | | Computer Aided Verification: th International Conference, CAV'99, Trento, Italy, July 6-0, 999, Proceedings (Lecture Notes in Computer Science) (1st Edition)
by Nicolas Halbwachs (Editor), Doron Peled (Editor)
Paperback, 506 Pages, Published 1999 by Springer, 1st Edition
Compare Prices | Add to Wish List |
|  | | The Spin Verification System: Dimacs Workshop, August 5, 1996 (Dimacs Series in Discrete Mathematics and Theoretical Computer Science)
by N. J.) Workshop on the Spin Verification System (1996 New Brunswick, Jean-Charles Gregoire, Gerard J. Holzmann, Doron Peled
Hardcover, 203 Pages, Published 1997 by American Mathematical Society
Compare Prices | Add to Wish List |
|  | | Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings (Lecture Notes in Computer Science) (1st Edition)
by Doron A. Peled (Editor), Yih-Kuen Tsay (Editor)
Paperback, 506 Pages, Published 2005 by Springer, 1st Edition
Compare Prices | Add to Wish List |
|  | | Formal Techniques for Networked and Distributed Systems - FORTE 2002 (1st Edition)
by Doron A. Peled (Editor), Moshe Y. Vardi (Editor)
Paperback, 371 Pages, Published 2002 by Springer, 1st Edition
Compare Prices | Add to Wish List |
|  | | Computer Aided Verification: 6th International Conference, CAV 2004, Boston, MA, USA, July 3-7, 2004, Proceedings (Lecture Notes in Computer Science) (1st Edition)
by Rajeev Alur (Editor), Doron A. Peled (Editor)
Paperback, 536 Pages, Published 2004 by Springer, 1st Edition
Compare Prices | Add to Wish List |
|  | | Partial Order Methods in Verification: Dimacs Workshop July 24-26, 1996 (Dimacs Series in Discrete Mathematics and Theoretical Computer Science)
by Doron A. Peled (Editor), Vaughan R. Pratt (Editor), Gerard J. Holzmann (Editor)
Hardcover, 403 Pages, Published 1997 by American Mathematical Society
Compare Prices | Add to Wish List |
|  | | Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings (Lecture Notes in Computer Science) (1st Edition)
by Francesco Logozzo (Editor), Doron A. Peled (Editor), Leonore D. Zuck (Editor)
Hardcover, 325 Pages, Published 2008 by Springer, 1st Edition
Compare Prices | Add to Wish List |
|  | | 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 |
| | Books 1 - 9 of 9 | Previous | Next |
|