Back to home page
|Listed in category:

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
  • (410)
AU $29.99
4 payments of AU $7.50 with Afterpay
Condition:
Brand new
3 available1 sold
Other people bought this. 1 has already sold.
Hurry before it's gone. 1 person is watching this item.
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:
    Diners Club

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

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
Publication Name
Decision Procedures: an Algorithmic Point of View
Language
English
Subject
Computer Science, Mathematics
Publication Year
2018
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

About this seller

officeguy20

100% positive Feedback•1.2K items sold

Joined Mar 2019
Usually responds within 24 hours
Seller's other itemsContact

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 (438)

  • k***e (788)- Feedback left by buyer.
    Past 6 months
    Verified purchase
    item as advertised, well packaged, prompt delivery, good communication
    The Blood of Gods (Emperor) [Audio] by Conn Iggulden Factory Sealed MP3 Ready (#125681780642)
  • n***n (233)- Feedback left by buyer.
    Past month
    Verified purchase
    Book in as mentioned condition, well packed to maintain book profile and condition. Thank you for the post-it complementary pack. An A+++ ebayer.
    The Secret Order of Assassins by Marshall G S Hodgson Brand New (#126476745229)
  • a***t (246)- Feedback left by buyer.
    Past year
    Verified purchase
    Excellent, well packaged, quick delivery, great communication A1 Seller, highly recommend
    Deltora Quest 2 (21st Anniversary Edition) by Emily Rodda Hardcover Brand New (#126427038740)
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: