Interactive Theorem Proving 6th International Conference ITP 2015 Nanj
In stock
Smart shoppers OnBuy it!
- Earn Cashback on every purchase – spend it instantly on your next order
- Free delivery – on millions of items across the site
- Customers love us – 130,000 Trustpilot reviews and an 'Excellent' rating
Interest-free payment options available
See full product description & details
Delivery: Standard (Free) | Wed 5th - Fri 7th Aug
Sold by: Ria Christie Collections
Returns: 30 days
180-day payment protection
Interactive Theorem Proving 6th International Conference ITP 2015 Nanj Description
This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were carefully reviewed and selected from 54 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.
Details
| OPC | PX6JKMD |
|---|---|
| Brand | riachristiecollections |
| Codes | 3319221019 (ISBN-10) |
| 9783319221014 (ISBN) | |
| MPN | 9783319221014 |
Compare Sellers for Interactive Theorem Proving 6th International Conference ITP 2015 Nanj
- New from £61.12
| Seller | Ratings | Warranty | Returns | Price | Delivery | Total | Quantity |
|---|---|---|---|---|---|---|---|
| (207 reviews) | - |
30 Days
Free Returns No
|
£61.12
|
+Free Delivery
Est. Delivery:
5th-7th Aug
|
£61.12
|
Earn as you shop with instant Cashback on everything.
No catch, no cost
- Paid into your OnBuy account
- Spend it on your next purchase
- Save it or withdraw it
Become a Cashback VIP
Just 1 purchase unlocks bigger deals & rates