Su búsqueda recuperó 2 resultados.

Resultados
		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 Bertot, Yves [autor] \| Castéran, P. (Pierre) [autor] \| Huet, Gérard [prologuista] \| Paulin-Mohring, Christine, 1962- [prologuista]. Series Texts in theoretical computer scienceTipo de material: Texto; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2010Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A96 B47. Hacer reserva Agregar al carrito (remover)
		Logical foundations of fuctional programming / Ed. by gerard heuet por Huet, Gerard [editor]. Series The ut year of programming seriesTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Reading, massachusetts : Addison-wesley, c1990Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.62 L64, ... Hacer reserva Agregar al carrito (remover)

¿No encuentras lo que estás buscando?

Universidad Nacional Autónoma de México
Facultad de Ciencias
Catálogo de la Biblioteca "Ricardo Monges López"