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

4.0 out of 5 stars 5 ratings
ISBN-13: 978-3540741046
ISBN-10: 9783540741046
Why is ISBN important?
This bar-code number lets you verify that you're getting exactly the right version or edition of a book. The 13-digit and 10-digit formats both work.
Scan an ISBN with your phone
Use the Amazon App to scan ISBNs and compare prices.
Have one to sell?
Loading your book clubs
There was a problem loading your book clubs. Please try again.
Not in a club? Learn more
Amazon book clubs early access

Join or create book clubs

Choose books together

Track your books
Bring your club to Amazon Book Clubs, start a new book club and invite your friends to join, or find a club that’s right for you for free.
Used: Good | Details
Sold by booksupply
Condition: Used: Good
Comment: A great title in Good condition. Book shows minimal to moderate signs of use. Satisfaction Guaranteed.
Access codes and supplements are not guaranteed with used items.
17 used from $48.49
Only 2 left in stock (more on the way).
Ships from and sold by
Available at a lower price from other sellers that may not offer free Prime shipping.
FREE delivery: Monday, Nov 2 Details
Fastest delivery: Thursday, Oct 29 Details
19 new from $64.68

Decision Procedures: An A... has been added to your Cart

Available at a lower price from other sellers that may not offer free Prime shipping.

There is a newer edition of this item:

"Devoted" by Dean Koontz
For the first time in paperback, from Dean Koontz, the master of suspense, comes an epic thriller about a terrifying killer and the singular compassion it will take to defeat him. | Learn more
click to open popover

Enter your mobile number or email address below and we'll send you a link to download the free Kindle App. Then you can start reading Kindle books on your smartphone, tablet, or computer - no Kindle device required.

  • Apple
  • Android
  • Windows Phone
    Windows Phone
  • Click here to download from Amazon appstore

To get the free app, enter your mobile phone number.


Special offers and product promotions

Editorial Reviews


From the reviews:

“The topic of this book is decision procedures for first-order theories … . it is one of the first to capture the essential concepts of SMT in a book. … relevant to those wishing to understand the area today. … the book more accessible to those without a strong background in mathematical logic.” (Clark Barrett, Journal of Automated Reasoning, Vol. 51, 2013)

"This book is a developed version of classroom notes for a course on decision procedures, intended for undergraduate and graduate students … . The developments are intended for programmers who need to know about the algorithms that solve their particular problems, as well as for students and researchers who need to know how to define such algorithms in the framework of appropriate logics. … Overall, the book is well structured … ." (Siva Anantharaman, Mathematical Reviews, Issue 2009 m)

"There are a number of things that I like about the book. Although the material is often complex, the exposition is extremely clear, precise and meticulous. A definition is almost always followed by a clarifying example. As noted above, Kroening and Strichman go to great efforts to explain the notations used. In fact, I'd be hard pressed to think of another text on an advanced subject that does so much to make the material accessible to the reader." (K. Harrow, ACM Computing Reviews, September, 2008)

"This book has two topics as main points: ‘decision procedures’ and ‘algorithms to be applied for these decisions’. … Such an approach is very useful for graduate students or students in year four or five … . Each chapter introduces and explains a lot of different concepts and presents good examples, some problems and exercises with algorithm-based solutions, and a glossary at its end, which makes the book very applicable and readable. … The book is very well written and interesting to read." (Christian Posthoff, Zentralblatt MATH, Vol. 1149, 2008)

Product details

  • Item Weight : 3.06 pounds
  • Hardcover : 322 pages
  • ISBN-10 : 9783540741046
  • ISBN-13 : 978-3540741046
  • Product Dimensions : 6.14 x 0.75 x 9.21 inches
  • Publisher : Springer; 2008th Edition (May 23, 2008)
  • Language: : English
  • ASIN : 3540741046
  • Customer Reviews:
    4.0 out of 5 stars 5 ratings

Customer reviews

4.0 out of 5 stars
4 out of 5
5 global ratings
5 star
4 star
3 star 0% (0%) 0%
2 star
1 star 0% (0%) 0%
How are ratings calculated?

Top reviews from the United States

Reviewed in the United States on July 14, 2013
Verified Purchase
2 people found this helpful
Comment Report abuse
Reviewed in the United States on August 4, 2008
Verified Purchase
24 people found this helpful
Comment Report abuse
Reviewed in the United States on August 28, 2008
5 people found this helpful
Comment Report abuse

Top reviews from other countries

5.0 out of 5 stars La référence dans le domaine
Reviewed in France on October 27, 2016
Verified Purchase