Imagen de Google Jackets

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.

Por: Colaborador(es): Series Texts in theoretical computer scienceDetalles de publicación: Berlin : Springer, c2010.Descripción: xxv, 469 p. : il. ; 25 cmISBN:
  • 9783642058806
Tema(s):
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título.
Existencias
Tipo de ítem Biblioteca actual Signatura Estado Fecha de vencimiento Código de barras Reserva de ítems Reservas para cursos
Libro 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. ;


Nuestras Redes Sociales

facebook Instagram

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:30hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127 (Atención al Público) int. 41151 (Dirección)

biblio@famaf.unc.edu.ar (Dirección)

publicofamaf@gmail.com (Atención al público)