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.
Series Texts in theoretical computer scienceDetalles de publicación: Berlin : Springer, c2010.Descripción: xxv, 469 p. : il. ; 25 cmISBN:- 9783642058806
Tipo de ítem | Biblioteca actual | Signatura | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems | Reservas para cursos |
---|---|---|---|---|---|---|---|
Libro | FaMAF Sección Computación | C F3 B547 | Disponible | 22380 |
Formalización de matemática y ciencia de la computación en asistentes de prueba |
Total de reservas: 0
Incluye referencias bibliográficas (p. [453]-457) e índice.
M & A - S.R.L. ;