Buy Used and New Doron Peled Books

Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings: 9938 (Lecture Notes in Computer Science)

by Cyrille Artho,Axel Legay,Doron Peled

ISBN 13: 9783319465197

Format: Paperback (544 pages)
Publisher: Springer
Published: 22 Sep 2016

Save for later

Model Checking (Cyber Physical Systems Series)

by Edmund M. Clark Jr.,Orna Grumberg,Daniel Kroening,Doron Peled,Helmut Veith

ISBN 13: 9780262038836

Format: Hardcover (424 pages)
Publisher: MIT Press
Published: 21 Dec 2018

Save for later

Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings (Lecture Notes in Computer Science)

by Nicolas Halbwachs,Doron Peled

ISBN 13: 9783540662020

Format: Paperback (526 pages)
Publisher: Springer Berlin Heidelberg
Published: 10 Oct 2008

Save for later