search for books and compare prices
cover image
Decision Procedures: An Algorithmic Point of View
Price
Store
Arrives
Preparing
Shipping
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 November 7, 2016
Binding Hardcover
Edition 2
Book category Adult Non-Fiction
ISBN-13 9783662504963
ISBN-10 3662504960
Original list price $59.99
Summaries and Reviews
Amazon.com description: Product Description:

A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order theories that are commonly used in automated verification and reasoning, theorem-proving, compiler optimization and operations research. The techniques described in the book draw from fields such as graph theory and logic, and are routinely used in industry. The authors introduce the basic terminology of satisfiability modulo theories and then, in separate chapters, study decision procedures for each of the following theories: propositional logic; equalities and uninterpreted functions; linear arithmetic; bit vectors; arrays; pointer logic; and quantified formulas.



Editions
Hardcover
Book cover for 9783540741046 Book cover for 9783662504963
 
The price comparison is for this edition
With Daniel Kroening | 2 edition from Springer-Verlag New York Inc (November 7, 2016)
9783662504963 | details & prices | List price $59.99
About: A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer.
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
About: A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer.

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. isbn.nu is not a bookseller, just an information source.