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.
With Daniel Kroening | 2 edition from Springer-Verlag New York Inc (November 7, 2016)