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.
2
With Daniel Kroening |
2 edition from Springer-Verlag New York Inc (November 7, 2016)
9783662504963 | details & prices | List price $59.99
none
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
With R. E. Bryant (other contributor), Daniel Kroening |
from Springer Verlag (July 4, 2008)
9783642093449 | details & prices | 320 pages | List price $69.95