Interactive Theorem Proving Third International Conference Itp 2012 Princeton Nj | Desertcart UAE
Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings (Lecture Notes in Computer Science, 7406)
Product ID: 212474262
Secure Transaction
12 interest-free installments with tabby
Frequently Bought Together
Description
Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings (Lecture Notes in Computer Science, 7406)
Common Questions
Trustpilot
TrustScore 4.5 | 7,300+ reviews
Rajesh P.
Customer service was outstanding when I had questions about the product.
2 days ago
Neha S.
Excellent communication throughout the order process. Product is perfect.
