ISBN 3540741046 books & textbook
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Kroening, Daniel Strichman, Ofer Bryant, R.E.
Springer /2008-05-23 Hardcover / 322 Pages
isbn-10: 3540741046 / isbn-13: 9783540741046
