Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

3.5 avg rating
( 6 ratings by GoodReads )
 
9783642093449: Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

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.

"synopsis" may belong to another edition of this title.

Buy New View Book
List Price: US$ 69.95
US$ 57.11

Convert Currency

Shipping: US$ 11.54
From United Kingdom to U.S.A.

Destination, Rates & Speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

Daniel Kroening
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (2010)
ISBN 10: 3642093442 ISBN 13: 9783642093449
New Quantity Available: > 20
Print on Demand
Seller
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2010. PAP. Book Condition: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # LQ-9783642093449

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 57.11
Convert Currency

Add to Basket

Shipping: US$ 11.54
From United Kingdom to U.S.A.
Destination, Rates & Speeds

2.

DANIEL KROENING
Published by Springer (2010)
ISBN 10: 3642093442 ISBN 13: 9783642093449
New Paperback Quantity Available: 1
Seller
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Springer, 2010. Paperback. Book Condition: NEW. 9783642093449 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Bookseller Inventory # HTANDREE0351566

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 59.44
Convert Currency

Add to Basket

Shipping: US$ 10.26
From United Kingdom to U.S.A.
Destination, Rates & Speeds

3.

Kroening, Daniel
Published by Springer (2016)
ISBN 10: 3642093442 ISBN 13: 9783642093449
New Paperback Quantity Available: 1
Print on Demand
Seller
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Springer, 2016. Paperback. Book Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Bookseller Inventory # ria9783642093449_lsuk

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 66.56
Convert Currency

Add to Basket

Shipping: US$ 4.26
From United Kingdom to U.S.A.
Destination, Rates & Speeds

4.

Daniel Kroening
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (2010)
ISBN 10: 3642093442 ISBN 13: 9783642093449
New Quantity Available: > 20
Print on Demand
Seller
PBShop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2010. PAP. Book Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # IQ-9783642093449

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 67.14
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

5.

Kroening, Daniel; Strichman, Ofer; Bryant, R.E. [Foreword]
Published by Springer (2010)
ISBN 10: 3642093442 ISBN 13: 9783642093449
New Paperback Quantity Available: 10
Print on Demand
Seller
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Springer, 2010. Paperback. Book Condition: New. This item is printed on demand. Bookseller Inventory # INGM9783642093449

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 79.29
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

6.

Kroening, Daniel; Strichman, Ofer
Published by Springer (2010)
ISBN 10: 3642093442 ISBN 13: 9783642093449
New Paperback Quantity Available: 1
Seller
Irish Booksellers
(Rumford, ME, U.S.A.)
Rating
[?]

Book Description Springer, 2010. Paperback. Book Condition: New. book. Bookseller Inventory # 3642093442

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 87.93
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

7.

Daniel Kroening, Ofer Strichman
Published by Springer-Verlag Berlin and Heidelberg GmbH Co. KG, Germany (2010)
ISBN 10: 3642093442 ISBN 13: 9783642093449
New Paperback Quantity Available: > 20
Print on Demand
Seller
The Book Depository EURO
(London, United Kingdom)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH Co. KG, Germany, 2010. Paperback. Book Condition: New. 1st ed. Softcover of orig. ed. 2008. 236 x 155 mm. Language: English . Brand New Book ***** Print on Demand *****.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. Bookseller Inventory # AAV9783642093449

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 96.49
Convert Currency

Add to Basket

Shipping: US$ 3.85
From United Kingdom to U.S.A.
Destination, Rates & Speeds

8.

Daniel Kroening
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN 10: 3642093442 ISBN 13: 9783642093449
New Paperback Quantity Available: 20
Seller
BuySomeBooks
(Las Vegas, NV, U.S.A.)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH & Co. K. Paperback. Book Condition: New. Paperback. 306 pages. Dimensions: 9.3in. x 6.1in. x 0.8in.A decision procedure is an algorithm that, given a decision problem, terminates with a correct yesno 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. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Paperback. Bookseller Inventory # 9783642093449

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 103.36
Convert Currency

Add to Basket

Shipping: US$ 3.95
Within U.S.A.
Destination, Rates & Speeds

9.

Daniel Kroening
Published by Springer Berlin Heidelberg (2008)
ISBN 10: 3642093442 ISBN 13: 9783642093449
New Paperback Quantity Available: 1
Seller
Revaluation Books
(Exeter, United Kingdom)
Rating
[?]

Book Description Springer Berlin Heidelberg, 2008. Paperback. Book Condition: Brand New. softcover reprint of hardcover 1st ed. 2008 edition. 320 pages. 9.30x6.10x0.80 inches. In Stock. Bookseller Inventory # __3642093442

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 134.81
Convert Currency

Add to Basket

Shipping: US$ 7.69
From United Kingdom to U.S.A.
Destination, Rates & Speeds