search for books and compare prices
Decision Procedures: An Algorithmic Point of View
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Sort options: binding | publication date | edition
Hardcover
Book cover for 9783540741046 Book cover for 9783662504963
 
With Daniel Kroening | 2 edition from Springer-Verlag New York Inc (November 7, 2016)
9783662504963 | details & prices | List price $59.99
With Randal E. Bryant (other contributor), Daniel Kroening | from Springer-Verlag New York Inc (July 4, 2008)
9783540741046 | details & prices | 304 pages | 6.25 × 9.25 × 0.75 in. | 1.55 lbs | List price $69.95
Paperback
Book cover for 9783642093449
 
With R. E. Bryant (other contributor), Daniel Kroening | from Springer Verlag (July 4, 2008)
9783642093449 | details & prices | 320 pages | List price $69.95