| | Books 1 - 10 of 13 | 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 | Set Price Alert |
|  | | 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 |
|  | | 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)
Paperback, 325 Pages, Published 2008 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | 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 | Set Price Alert |
|  | | 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 | Set Price Alert |
|  | | 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 | Set Price Alert |
|  | | 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 | Set Price Alert |
|  | | 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 | Set Price Alert |
|  | | Software Reliability Methods
by Doron Peled
Hardcover, Published 2001 by Springer Verlag
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Formal Techniques for Networked and Distributed Systems - Forte 2002: 22ndIfip Wg 6.1 International Conference, Houston, Texas, Usa, November 11-14,2002 Proceedings
by Doron A., Moshe Y. Vardi Peled
Paperback, Published 0000 by Publisher Unknown
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 10 of 13 | Previous | Next |
|