ISBN 9783642093449 books & textbook
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Ofer Strichman R. E. Bryant Daniel Kroening Ofer Strichman
Springer /2010-01-01 Paperback / 306 Pages
isbn-10: 3642093442 / isbn-13: 9783642093449
