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

Gardado en:

Detalles Bibliográficos
Autor Principal:	Chlipala, Adam (Author)
Formato:	Libro
Publicado:	Cambridge, Massachusetts, USA: London, England, 2013.
Subjects:	Demostración automática de teoremas > Programas de computador Coq (recurso electrónico)
Tags:	Engadir etiqueta Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!

Sexa o primeiro en deixar un comentario!

Títulos similares