Sell, buy or rent Ofer Strichman R. E. Bryant Daniel Kroening textbooks

9783642093449-3642093442-Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
9783642093449-3642093442-Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

by Ofer Strichman R. E. Bryant Daniel Kroening, Ofer Strichman
ISBN-13: 9783642093449
ISBN-10: 3642093442
Edition: Softcover reprint of
Publication date: 2010
Publisher: Springer
Format: Paperback 306 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.