Sell, buy or rent Doron Peled textbooks

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

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

by Cyrille Artho, Axel Legay, Doron Peled
ISBN-13: 9783319465197
ISBN-10: 3319465198
Edition: 1st ed. 2016
Publication date: 2016
Publisher: Springer
Format: Paperback 541 pages
eBook from $16.50
9780821806807-0821806807-The Spin Verification System: Dimacs Workshop, August 5, 1996 (DIMACS SERIES IN DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE)
9780821806807-0821806807-The Spin Verification System: Dimacs Workshop, August 5, 1996 (DIMACS SERIES IN DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE)

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
ISBN-13: 9780821806807
ISBN-10: 0821806807
Publication date: 1997
Publisher: Amer Mathematical Society
Format: Hardcover 203 pages
Sell Shop now at Amazon
9780262038836-0262038838-Model Checking, second edition (Cyber Physical Systems Series)
9780262038836-0262038838-Model Checking, second edition (Cyber Physical Systems Series)

Model Checking, second edition (Cyber Physical Systems Series)

by Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith
ISBN-13: 9780262038836
ISBN-10: 0262038838
Edition: 2nd ed.
Publication date: 2018
Publisher: The MIT Press
Format: Hardcover 424 pages
Sell Shop now at Amazon
cookies

We use cookies to ensure website functionality: improve our services, personalize your experience, analyze performance and traffic, and process orders efficiently. To learn more, check our Privacy Policy.