Sell, buy or rent Helmut Veith textbooks

9783642152047-364215204X-Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings (Lecture Notes in Computer Science, 6247)
9783642152047-364215204X-Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings (Lecture Notes in Computer Science, 6247)

Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings (Lecture Notes in Computer Science, 6247)

by Anuj Dawar, Helmut Veith
ISBN-13: 9783642152047
ISBN-10: 364215204X
Edition: 2010
Publisher: Springer
Format: Paperback 562 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
9783319105741-3319105744-Handbook of Model Checking
9783319105741-3319105744-Handbook of Model Checking

Handbook of Model Checking

by Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem
ISBN-13: 9783319105741
ISBN-10: 3319105744
Edition: 1st ed. 2018
Publication date: 2018
Publisher: Springer
Format: Hardcover 1260 pages
Sell Shop now at Amazon eBook from $38.70
9783540698494-3540698493-25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science, 5000)
9783540698494-3540698493-25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science, 5000)

25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science, 5000)

by Orna Grumberg, Helmut Veith
ISBN-13: 9783540698494
ISBN-10: 3540698493
Edition: 2008
Publisher: Springer
Format: Paperback 241 pages
Sell Buy from $37.62 eBook from $10.50
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.