Certified programming with dependent types. A pragmatic introduction to the coq proof assistant.

Guardado en:

Detalles Bibliográficos
Autor principal:	Chlipala, Adam (Autor)
Formato:	Libro
Publicado:	Cambridge, Massachusetts, USA: London, England, 2013.
Materias:	Demostración automática de teoremas > Programas de computador Coq (recurso electrónico)
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Biblioteca Mayor de Ingeniería -

Detalle de Existencias desde Biblioteca Mayor de Ingeniería -
Número de Clasificación:	005.1 CHL 2013
Copia 1	Disponible Hacer reserva