Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings
Product ID: 271689691
Frequently Bought Together
Common Questions
The delivery time was excellent, and the packaging was secure.
2 months ago
The product quality is outstanding. Exactly what I needed for my work.
1 month ago
Competitive prices on a vast range of products
Serving over 300 million shoppers across more than 200 countries
Trusted payment options loved by worldwide shoppers
Trusted payment options loved by worldwide shoppers.
Shop on the go, anytime, anywhere.
