Skip to Main Content (Press Enter)
Check Out
The Bestselling Books of All Time
See the List
Toggle side nav
Certified Programming with Dependent Types by Adam Chlipala

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

Back to Top