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 ...
Read More
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.
Read Less
Add this copy of Decision Procedures to cart. $54.93, new condition, Sold by Educational Media Centre rated 4.0 out of 5 stars, ships from New Delhi, DELHI, INDIA, published 2018 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K.
Edition:
2018, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Add this copy of Decision Procedures to cart. $55.48, new condition, Sold by Educational Media Centre rated 4.0 out of 5 stars, ships from New Delhi, DELHI, INDIA, published 2018 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K.
Edition:
2018, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Add this copy of Decision Procedures: An Algorithmic Point of View to cart. $59.86, new condition, Sold by GreatBookPricesUK5 rated 5.0 out of 5 stars, ships from Castle Donington, DERBYSHIRE, UNITED KINGDOM, published 2018 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K.
Edition:
2018, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:
Softcover reprint of the original 2nd edition 2016
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published:
2018
Language:
English
Alibris ID:
18405970672
Shipping Options:
Standard Shipping: $4.82
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Contains: Illustrations, black & white, Illustrations, color. Texts in Theoretical Computer Science. An EATCS Series . XXI, 356 p. 64 illus., 5 illus. in color. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Decision Procedures: An Algorithmic Point of View to cart. $61.92, new condition, Sold by GreatBookPrices rated 4.0 out of 5 stars, ships from Columbia, MD, UNITED STATES, published 2018 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K.
Edition:
2018, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:
Softcover reprint of the original 2nd edition 2016
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published:
2018
Language:
English
Alibris ID:
18405045826
Shipping Options:
Standard Shipping: $4.82
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Contains: Illustrations, black & white, Illustrations, color. Texts in Theoretical Computer Science. An EATCS Series . XXI, 356 p. 64 illus., 5 illus. in color. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Decision Procedures to cart. $68.06, new condition, Sold by Educational Media Centre rated 4.0 out of 5 stars, ships from New Delhi, DELHI, INDIA, published 2018 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K.
Edition:
2018, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Add this copy of Decision Procedures: An Algorithmic Point of View to cart. $70.05, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2018 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K.
Edition:
2018, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:
Softcover reprint of the original 2nd edition 2016
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published:
2018
Language:
English
Alibris ID:
14890777978
Shipping Options:
Standard Shipping: $4.82
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Print on demand Contains: Illustrations, black & white, Illustrations, color. Texts in Theoretical Computer Science. An EATCS Series . XXI, 356 p. 64 illus., 5 illus. in color.
Add this copy of Decision Procedures to cart. $70.87, new condition, Sold by Basi6 International rated 5.0 out of 5 stars, ships from Irving, TX, UNITED STATES, published 2018 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K.
Edition:
2018, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Add this copy of Decision Procedures to cart. $71.12, new condition, Sold by Basi6 International rated 5.0 out of 5 stars, ships from Irving, TX, UNITED STATES, published 2018 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K.
Edition:
2018, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
