Skip to Main Content (Press Enter) Toggle side nav

Certified Programming with Dependent Types

Best Seller
Certified Programming with Dependent Types by Adam Chlipala
Hardcover $65.00
Dec 06, 2013 | ISBN 9780262026659

Also available from:

  • Dec 06, 2013 | ISBN 9780262026659

    Also available from:

*This title is not eligible for purchase to earn points nor for redemption with your code in the Reader Rewards program

Product Details

Get the latest updates from Adam Chlipala
And go from well-read to best read with book recs, deals and more in your inbox every week.
And go from well-read to best read with book recs, deals and more in your inbox every week.
By clicking SIGN UP, I acknowledge that I have read and agree to Penguin Random House’s Privacy Policy and Terms of Use.
Dismiss
Thanks!
Something awesome is on its way.
Back to Top