Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant / Adam Chlipala.
Detalles de publicación: Massachusetts : MIT, 2013.Descripción: xii, 424 p. ; 24 cmISBN:- 9780262026659
Tipo de ítem | Biblioteca actual | Signatura topográfica | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems | |
---|---|---|---|---|---|---|---|
Libro | FaMAF Sección Computación | C D2.4 Ch544 | Disponible | 22409 |
Total de reservas: 0
Incluye referencias bibliográficas (pages [413]-417) e indice.
Ciencia y Técnica de Edwin Ventura Oscanova ;