Enter your mobile number or email address below and we'll send you a link to download the free Kindle App. Then you can start reading Kindle books on your smartphone, tablet, or computer - no Kindle device required.
To get the free app, enter your mobile phone number.
|Print List Price:||£50.95|
Save £19.55 (38%)
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (MIT Press) Kindle Edition
|New from||Used from|
Customers who bought this item also bought
Would you like to tell us about a lower price?
Top customer reviews
Most helpful customer reviews on Amazon.com