Détails bibliographiques
Auteurs principaux : |
Bertot Yves
(Auteur),
Castéran Pierre
(Auteur) |
Autres auteurs : |
Huet Gérard
(Préfacier),
Paulin-Mohring Christine
(Préfacier) |
Format : |
Livre |
Langue : |
anglais |
Titre complet : |
Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions / Yves Bertot, Pierre Castéran; foreword by Gérard Huet and Christine Paulin-Mohring |
Publié : |
Berlin, New York :
Springer
, cop. 2004
|
Description matérielle : |
1 vol. (XXV-469 p.) |
Collection : |
Texts in theoretical computer science (Print)
|
Sujets : |
|