Compare prices and save on cheap textbooks at CheapestTextbooks.com

Gathering data for you

Our Price Comparison is FREE to use. You are moments away from:

  • Buy, Rent or Sell
  • New, Used, Rental, eBooks
  • Finding the Cheapest Prices
  • Saving up to 95%
Check out

our fan page on

facebook

for additional ways to save.

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Hardcover
Edition:
2nd ed. 2016
Daniel Kroening
Ofer Strichman
Publisher:
Springer
Release Date:
2017
ISBN-10:
3662504960
ISBN-13:
9783662504963
List Price: 
$84.99
Cheapest Price Summary
Price:
$50.00
Shipping:
$3.75
Total:
$53.75
Price:
$67.03
Shipping:
$2.64
Total:
$69.67

eBook: $27.50

VitalSource
Price:
$27.50
Shipping:
$0.00
Total:
$27.50

Sell Back: $1.98

SellBackYourBook
Price:
$1.98
Shipping:
$0.00
Total:
$1.98

Cheapest Price Summary

Store  Condition  Coupons & Deals  Price  Shipping  Total 
Abebooks
(Marketplace)
Used
Used $50.00
as of 4 seconds ago
$3.75
Abebooks
(Marketplace)
New
New $67.03
as of 4 seconds ago
$2.64
VitalSource
180 Day eBook
(Expire Date 12/06/2025)
180 Day eBook
(Expire Date 12/06/2025)
$35.75
as of 4 seconds ago
FREE
Store Condition Payment Type Offer
SellBackYourBook
Sell Back
Sell Back Check
This book is not available for: Semester Rental, 85 Day Rental, 55 Day Rental