Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings: 10499 (Lecture Notes in Computer Science)
Product ID: 295440043
Frequently Bought Together
Common Questions
Good experience, but the tracking updates could be better.
2 months ago
Excellent communication throughout the order process. Product is perfect.
2 weeks 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.
