Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings: 9807 (Theoretical Computer Science and General Issues)
Product ID: 95210638
Secure Transaction
Frequently Bought Together
Description
Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings: 9807 (Theoretical Computer Science and General Issues)
Common Questions
Trustpilot
TrustScore 4.5 | 7,300+ reviews
I loved the variety of products available. Will definitely shop again.
2 months ago
Excellent communication throughout the order process. Product is perfect.
2 weeks 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.
