Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings: 9236 (Lecture Notes in Computer Science)
Product ID: 98033541
Secure Transaction
Frequently Bought Together
Description
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings: 9236 (Lecture Notes in Computer Science)
Common Questions
Trustpilot
TrustScore 4.5 | 7,300+ reviews
The customer service exceeded my expectations. Perfect for buying products you can't find elsewhere.
1 week ago
Very impressed with the quality and fast delivery. Will shop here again.
4 days ago
Shop Global, Save with Desertcart
Value for Money
Competitive prices on a vast range of products
Shop Globally
Serving over 300 million shoppers across more than 200 countries
Enhanced Protection
Trusted payment options loved by worldwide shoppers
Customer Assurance
Trusted payment options loved by worldwide shoppers.
Desertcart App
Shop on the go, anytime, anywhere.
