Rating:
Author: Visit Amazon's Adam Chlipala Page
ISBN : 0262026651
New from $44.10
Format: PDF
Download books file now Free Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant Hardcover from 4shared, mediafire, hotfile, and mirror link
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.
Download latest books on mediafire and other links compilation Free Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
- Hardcover: 440 pages
- Publisher: The MIT Press (December 6, 2013)
- Language: English
- ISBN-10: 0262026651
- ISBN-13: 978-0262026659
- Product Dimensions: 8.9 x 6.9 x 1 inches
- Shipping Weight: 1.8 pounds (View shipping rates and policies)
Free Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
-
Download Link 2