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: 
$79.99
Cheapest Price Summary

Used: $66.31

Abebooks
(Marketplace)
Price:
$62.56
Shipping:
$3.75
Total:
$66.31
Buy Nowclick here!

New: $66.61

Abebooks
(Marketplace)
Price:
$63.97
Shipping:
$2.64
Total:
$66.61
Buy Nowclick here!

eBook: $32.50

VitalSource
Price:
$32.50
Shipping:
$0.00
Total:
$32.50
Buy Nowclick here!

Cheapest Price Summary
Store  Condition  Coupons & Deals  Price  Shipping  Total 
Abebooks
(Marketplace)
Used
Used $62.56
as of 4 seconds ago 		$3.75
$66.31
22% off $66.31Buy Nowclick here!
Abebooks
(Marketplace)
New
New $63.97
as of 4 seconds ago 		$2.64
$66.61
20% off $66.61Buy Nowclick here!
VitalSource
180 Day eBook
(Expire Date 10/11/2026)
180 Day eBook
(Expire Date 10/11/2026) 		$42.25
as of 4 seconds ago 		FREE
$42.25
47% off $42.25Rent Nowclick here!
This book is not available for: Semester Rental, 85 Day Rental, 55 Day Rental, Sell Back