Deliver to Mongolia
IFor best experience Get the App
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (The MIT Press)
Product ID: 1703963
Secure Transaction
Frequently Bought Together
Description
Full description not available
Reviews
A**S
Don't buy the kindle edition
Great book don't buy the kindle edition. The kindle edition is pretty low quality, TOC is non-existant for example. This would be acceptable if the eBook was $10, at the current price it's nor worth buying.
W**I
Five Stars
This is a great book. Each time I read it, I get some new ideas of theorem proving!
A**R
Five Stars
An extremely useful book. It really helps in learning Coq.
Common Questions
Trustpilot
TrustScore 4.5 | 7,300+ reviews
Excellent communication throughout the order process. Product is perfect.
2 weeks ago
Best international shipping I've ever tried. Worth every penny!
3 days 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.
Get the App
