Back to home page
|Listed in category:
|
Add to Watchlist
Postage and deliveryClick "see details" for additional postage and returns information.

Picture 1 of 2

Decision Procedures - An Algorithmic Second Edition - Picture 1 of 2
Decision Procedures - An Algorithmic Second Edition - Picture 2 of 2
Have one to sell?
Sell it yourself

Decision Procedures - An Algorithmic Second Edition

officeguy20
  • (395)
Condition:
Brand new
3 available1 sold
AU $29.99
4 payments of AU $7.50 with Afterpay
Hurry before it's gone. 1 person is watching this item.
Other people bought this. 1 has already sold.
Postage:
May not post to United States. Read item description or contact seller for postage options.
Located in: Marrickville , Australia
Delivery:
Varies
Returns:
No returns accepted.
Payments:
   

Shop with confidence

eBay Money Back Guarantee
Get the item you ordered or your money back. Learn moreeBay Money Back Guarantee - opens new window or tab
Report this item - opens in new window or tab
Seller assumes all responsibility for this listing.
eBay item number:126428848442
Last updated on 27 Jun, 2024 18:33:42 AESTView all revisionsView all revisions

Item specifics

Condition
Brand new: A new, unread, unused book in perfect condition with no missing or damaged pages. See the ...
Book Title
Decision Procedures
ISBN
9783662570654
Publication Year
2018
Type
Textbook
Format
Paperback
Language
English
Publication Name
Decision Procedures: an Algorithmic Point of View
Item Height
235 mm
Author
Ofer Strichman, Daniel Kroening
Publisher
Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Subject
Computer Science, Mathematics
Item Weight
581 g
Item Width
155 mm
Number of Pages
356 Pages

About this product

Product Information

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.

Product Identifiers

Publisher
Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
ISBN-13
9783662570654
eBay Product ID (ePID)
14046403150

Product Key Features

Number of Pages
356 Pages
Language
English
Publication Name
Decision Procedures: an Algorithmic Point of View
Publication Year
2018
Subject
Computer Science, Mathematics
Type
Textbook
Author
Ofer Strichman, Daniel Kroening
Format
Paperback

Dimensions

Item Height
235 mm
Item Weight
581 g
Item Width
155 mm

Additional Product Features

Country/Region of Manufacture
Germany
Title_Author
Ofer Strichman, Daniel Kroening
Series Title
Texts in Theoretical Computer Science. an Eatcs Series

Item description from the seller

officeguy20

officeguy20

100% positive Feedback
1.1K items sold
Seller's other itemsContact
Joined Mar 2019
Usually responds within 24 hours

Detailed seller ratings

Average for the last 12 months
Accurate description
4.9
Reasonable postage costs
4.9
Postage speed
5.0
Communication
5.0

Seller Feedback (421)

See all Feedback

Product ratings and reviews

Learn more
Write a review
No ratings or reviews yet.
Be the first to write the review.

More to explore: