Deliver to UAE
IFor best experience Get the App
Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings: 7406 (Theoretical Computer Science and General Issues)
Product ID: 112458992
Secure Transaction
Frequently Bought Together
Description
Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings: 7406 (Theoretical Computer Science and General Issues)
Common Questions
Trustpilot
TrustScore 4.5 | 7,300+ reviews
Fast shipping and excellent packaging. The Leatherman tool feels very premium and sturdy.
1 day ago
Good experience, but the tracking updates could be better.
2 months ago
Shop Global, Save with Desertcart
Value for Money
Competitive prices on a vast range of products
Shop Globally
Serving millions of shoppers across more than 100 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.
