Download Certified Programming with Dependent Types PDF
| Title | Certified Programming with Dependent Types |
|---|---|
| Subtitle | A Pragmatic Introduction to the Coq Proof Assistant |
| Publisher | MIT Press |
| Authors | Adam Chlipala |
| Topics | Computer Science, |
| Total Pages | 368 |
| File Size | 4.3 MB |
| Format |
