Interactive theorem proving and program development - Coq'Art: the calculus of inductive constructions
- Författare
- Yves Bertot
- (Yves Bertot, Pierre Castéran.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Verlag | 2004 | Tyskland, Berlin | 469 sidor. | 978-3-540-20854-9 |