Warehouse Stock Clearance Sale

Grab a bargain today!


Certified Programming with Dependent Types
By
Rating

Product Description
Product Details

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.

Ask a Question About this Product More...
 
Look for similar items by category
Home » Books » Computers » Programming » General
People also searched for
Item ships from and is sold by Fishpond.com, Inc.

↑
Back to top
We use essential and some optional cookies to provide you the best shopping experience. Visit our cookies policy page for more information.