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.29s
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
|
---|---|
Bookstore
Condition
Details & Coupons
|
Item Price
Shipping
Total Cost
Buy
|
---|---|