Interactive theorem proving and program development
Coq'Art : the calculus of inductive constructions
Bertot, Yves
1964-
creator
Castéran, Pierre
text
bibliography
gw
Berlin
Springer
c2010
2010
monographic
eng
xxv, 469 p. : il. ; 25 cm.
Yves Bertot, Pierre Castéran ; foreword by Gérard Huet and Christine Paulin-Mohring.
Incluye referencias bibliográficas (p. [453]-457) e índice.
M & A - S.R.L. ;
Logic and meanings of programs
Programming techniques
Mathematical logic
Formal languages
Lógica y significado de programas.
Técnicas de programación.
Lógica matemática.
Lenguajes formales.
Texts in theoretical computer science
9783642058806
YUS
040304
20151216164240.0