440 pages
English language
Published Nov. 17, 2013 by MIT Press.
Certified Programming with Dependent Types
A Pragmatic Introduction to the Coq Proof Assistant
Adam Chlipala: Certified Programming with Dependent Types (2013, MIT Press)
- ISBN:
- 978-0-262-31786-3
Copied ISBN!