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.

Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science) Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)
Hardcover
Edition:
2005
Iman Poernomo
John N. Crossley
Martin Wirsing
Publisher:
Springer
Release Date:
2005
ISBN-10:
0387237593
ISBN-13:
9780387237596
List Price: 
$169.99
Cheapest Price Summary

Used: $72.28

Amazon
(Marketplace)
Price:
$68.29
Shipping:
$3.99
Total:
$72.28
Price:
$49.92
Shipping:
$3.99
Total:
$53.91

eBook: $79.50

VitalSource
Price:
$79.50
Shipping:
$0.00
Total:
$79.50

Cheapest Price Summary

Store  Condition  Coupons & Deals  Price  Shipping  Total 
Amazon
(Marketplace)
Used
Used

Amazon coupon(s)

Details: Get FREE Shipping with a $25+ purchase
Restrictions: Spend over $25, see Amazon for details.
Coupon Code: no code needed

$68.29
as of 4 seconds ago
$3.99
Abebooks
(Marketplace)
New
New $49.92
as of 4 seconds ago
$3.99
VitalSource
180 Day eBook
(Expire Date 10/28/2026)
180 Day eBook
(Expire Date 10/28/2026)
$103.35
as of 4 seconds ago
FREE
This book is not available for: Semester Rental, 85 Day Rental, 55 Day Rental, Sell Back