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

Daniel Kroening - Ofer Strichman

Author: Daniel Kroening - Ofer Strichman

Edition: 2008

ISBN10: 3540741046

ISBN13: 9783540741046

Binding: Hardcover

Publisher: Springer

Filter By Conditions

Seller Condition Price
Amazon Mkt UsedUsed34.47BUY
Amazon.comNew45.42BUY
Amazon Mkt NewNew45.42BUY
CheggRental55.49RENT
TextbookrushNew57.23BUY
TextbookrushUsed57.23BUY
Biblio.comUsed57.23BUY
Biblio.comNew61.80BUY

TextbookOrder.com is free!

We link you directly to the vendor with no finder fee for our customers. The prices we show are some of the best deals on the entire web. We only show you textbooks from reputable online bookstores.

Buy Textbooks!

Find cheaper textbooks. Buy or rent Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) for the best price. Our textbook price comparison tool compares prices from over 50 online bookstores to find you the cheapest books on the web. No need to comb the entire web searching for deals.

Sell Textbooks!

Our relationship doesn’t end after you buy your textbooks. Come back and see us after the semester to sell textbooks back for the highest price! Cash offers from multiple vendors available instantly. To see buyback prices for this book simply enter the ISBN 9783540741046 into our search tool.

Not just for textbooks!

You asked and we listened! We now have the ability to search and compare prices on all books not only textbooks! Try it for yourself and save even more!