Peled, Doron 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
Formal Techniques for Networked and Distributed Systems - FORTE 2002
Peled, Doron A. Vardi, Moshe Y.
Springer /2002-10-28 Paperback / 384 Pages
isbn-10: 3540001417 / isbn-13: 9783540001416
Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings (Programming and Software Engineering)
Artho, Cyrille Legay, Axel Peled, Doron
Springer /2016-09-22 Paperback / 541 Pages
isbn-10: 3319465198 / isbn-13: 9783319465197
Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers (Lecture Notes in Computer Science, 5348)
Peled, Doron A. Wooldridge, Michael
Springer /2009-02-27 Paperback / 196 Pages
isbn-10: 364200430X / isbn-13: 9783642004308
Software Reliability Methods (Texts in Computer Science)
Springer /2011-10-09 Paperback / 351 Pages
isbn-10: 1441928766 / isbn-13: 9781441928764
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
Time for Verification: Essays in Memory of Amir Pnueli (Lecture Notes in Computer Science) (2010-09-10)
Springer /1676-01-01 Paperback
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers (Lecture Notes in Computer Science, 5779)
Bensalem, Saddek Peled, Doron A.
Springer /2009-09-23 Paperback / 210 Pages
isbn-10: 3642046932 / isbn-13: 9783642046933
Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings (Lecture Notes in Computer Science, 4905)
Logozzo, Francesco Peled, Doron A. Zuck, Leonore D.
Springer /2008-02-26 Paperback / 335 Pages
isbn-10: 3540781625 / isbn-13: 9783540781622
Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings (Lecture Notes in Computer Science, 1633)
Halbwachs, Nicolas Peled, Doron
Springer /1999-06-23 Paperback / 520 Pages
isbn-10: 3540662022 / isbn-13: 9783540662020
