Interactive theorem proving and program development : Coq'Art the calculus of inductive constructions
Enregistré dans:
Auteurs principaux : | , |
---|---|
Autres auteurs : | , |
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 : |
Notes : | Données complémentaires |
---|---|
Bibliographie : | Bibliogr. p. [453]-457. Index |
ISBN : | 978-3-540-20854-9 3-540-20854-2 |