| Books 1 - 8 of 8 | Previous | Next | 
|  | | Computer Aided Verification: 16th International Conference, Cav 2004, Boston, MA, USA, July 13-17, 2004, Proceedings (Lecture Notes in Computer Science)
by Rajeev Alur (Editor), Doron A. Peled (Editor)
Paperback, 536 Pages, Published 2004 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K
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)
by Francesco Logozzo (Editor), Doron A. Peled (Editor), Leonore D. Zuck (Editor)
Hardcover, 325 Pages, Published 2008 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Partial Order Methods in Verification (Series in Discrete Mathematics & Theoretical Computer Science)
by Doron 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 | Set Price Alert |
|  | | The SPIN Verification System (Series in Discrete Mathematics & Theoretical Computer Science)
by Jean-Charles Gregoire (Editor), Gerald Holzmann (Editor), Doron Peled (Editor)
Hardcover, 203 Pages, Published 1997 by American Mathematical Society
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)
by Doron A. Peled (Editor), Yin-Kuen Tsay (Editor)
Paperback, 506 Pages, Published 2005 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Software Reliability Methods (Texts in Computer Science)
by Doron Peled
Hardcover, 331 Pages, Published 2001 by Springer-Verlag New York Inc.
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Formal Techniques for Networked and Distributed Systems - Forte 2002: 22nd Ifip WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002proceedings (Lecture Notes in Computer Science)
by Doron A. Peled (Editor), Moshe Y. Vardi (Editor)
Paperback, 371 Pages, Published 2002 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Sometimes 'some' is as good as 'all': preliminary version
by Doron Peled
Unknown Binding, Published 1992 by University of Warwick, Department of Computer Science
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 8 of 8 | Previous | Next |
|