search for books and compare prices
cover image
Decision Procedures: An Algorithmic Point of View
The price is the lowest for any condition, which may be new or used; other conditions may also be available. Rental copies must be returned at the end of the designated period, and may involve a deposit.
Jump down to see edition details for: Hardcover | Paperback
Bibliographic Detail
Publisher Springer-Verlag New York Inc
Publication date July 4, 2008
Pages 304
Binding Hardcover
Book category Adult Non-Fiction
ISBN-13 9783540741046
ISBN-10 3540741046
Dimensions 0.75 by 6.25 by 9.25 in.
Weight 1.55 lbs.
Published in Europe
Original list price $69.95
Summaries and Reviews
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
The price comparison is for this edition
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
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

Pricing is shown for items sent to or within the U.S., excluding shipping and tax. Please consult the store to determine exact fees. No warranties are made express or implied about the accuracy, timeliness, merit, or value of the information provided. Information subject to change without notice. is not a bookseller, just an information source.