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.

  • Apple
  • Android
  • Windows Phone
  • Android

To get the free app, enter your mobile phone number.

Kindle Price: £31.40

Save £19.55 (38%)

includes VAT*
* Unlike print books, digital books are subject to VAT.

These promotions will be applied to this item:

Some promotions may be combined; others are not eligible to be combined with other offers. For details, please see the Terms & Conditions associated with these promotions.

Deliver to your Kindle or other device

Deliver to your Kindle or other device

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (MIT Press) by [Chlipala, Adam]
Kindle App Ad

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (MIT Press) Kindle Edition

5.0 out of 5 stars 1 customer review

See all 6 formats and editions Hide other formats and editions
Amazon Price
New from Used from
Kindle Edition
£31.40

Length: 440 pages
  • Similar books to Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (MIT Press)

Autumn Sale
Choose from over 400 books on sale from 99p. Shop now

Product description

About the Author

Adam Chlipala is Assistant Professor of Electrical Engineering and Computer Science and Douglas T. Ross (1954) Career Development Professor of Software Technology at MIT.

Product details

  • Format: Kindle Edition
  • File Size: 2259 KB
  • Print Length: 440 pages
  • Publisher: The MIT Press (6 Dec. 2013)
  • Sold by: Amazon Media EU S.à r.l.
  • Language: English
  • ASIN: B00GYN25L4
  • Text-to-Speech: Enabled
  • X-Ray:
  • Word Wise: Not Enabled
  • Enhanced Typesetting: Not Enabled
  • Average Customer Review: 5.0 out of 5 stars 1 customer review
  • Amazon Bestsellers Rank: #1,519,853 Paid in Kindle Store (See Top 100 Paid in Kindle Store)
  • Would you like to tell us about a lower price?


Customer reviews

5.0 out of 5 stars
Share your thoughts with other customers
See all 1 customer reviews

Top customer reviews

on 5 July 2015
Format: Hardcover|Verified Purchase
0Comment|Was this review helpful to you?YesNoReport abuse

Most helpful customer reviews on Amazon.com

Amazon.com: 4.5 out of 5 stars 2 reviews
2 people found this helpful.
4.0 out of 5 starsDon't buy the kindle edition
on 24 April 2015 - Published on Amazon.com
Verified Purchase
5.0 out of 5 starsFive Stars
on 28 July 2016 - Published on Amazon.com
Format: Hardcover
click to open popover

Where's My Stuff?

Delivery and Returns

Need Help?