Now Searching... Please Wait For Results To Appear...
We are now comparing your books price at all the online stores. Due to internet traffic it can take anywhere from 20 - 60 seconds so please be patient.
Search Time: 1.43s
Realtime Price Comparison Results For:
Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings (Theoretical Computer Science and General Issues)
Author(s): Array
Edition: 1st ed. 2016
Publish Date: 2016 Publisher: Springer Format: Paperback ISBN 10: 3319431439
ISBN 13: 9783319431437
Edition: 1st ed. 2016
Publish Date: 2016 Publisher: Springer Format: Paperback ISBN 10: 3319431439
ISBN 13: 9783319431437
SPECIAL DEAL - Sign up for Amazon Student for FREE and get FREE 2-day shipping for 6 months!
|
Bookstore
Condition
Details & Coupons
|
Item Price
Shipping
Total Cost
Buy
|
|---|---|
eCampus eTextbook (30 Days)  | $40.22 FREE $40.22  |
RedShelf eTextbook (180 Days) | $51.06 FREE $51.06 |
RedShelf Buy eTextbook | $54.99 FREE $54.99  |
VitalSource Buy eTextbook | $54.99 FREE $54.99 |
VitalSource eTextbook (180 Days) | $35.75 FREE $35.75 |
|
Bookstore
Condition
Details & Coupons
|
Item Price
Shipping
Total Cost
Buy
|
|---|---|
AbeBooks New | $61.34 Standard Shipping: $2.64 $63.98 |
AbeBooks Used | $189.97 Standard Shipping: $2.64 $192.61 |