All books / Book
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (The MIT Press)
| Full title: | Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (The MIT Press) |
|---|---|
| ISBN: | 9780262026659 |
| ISBN 10: | 0262026651 |
| Authors: | Chlipala, Adam |
| Publisher: | The MIT Press |
| Num. pages: | 424 |
| Binding: | Hardcover |
| Language: | en_US |
| Published on: | 2013-12-06T00:00:01Z |
Read the reviews and/or buy it on Amazon.com
