€ 106,24
Interactive Theorem Proving and Program Development — Coq’Art: The Calculus of Inductive Constructions. An English-language digital edition by Yves Bertot; G. Huet (Other); Pierre Castéran; C. Paulin-Mohring (Other), available in PDF.
Download format: PDF (.pdf). Available files can be downloaded from My books immediately after payment is confirmed. We also email you a download link. If your edition needs file preparation, your account shows its pending status; the download and email follow upload and staff approval.
Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory…
Catalogue preview, eBooks.com
| Author | Yves Bertot; G. Huet (Other); Pierre Castéran; C. Paulin-Mohring (Other) |
|---|---|
| Publisher | Springer Berlin Heidelberg |
| Language | English |
| ISBN | 9783540208549, 9783662079645 |
| Format | |
| Publication date | March 14, 2013 |
| DRM | DRM-free edition available |
| Download format | PDF (.pdf) |
Reviews
There are no reviews yet.