Certified programming with dependent types. A pragmatic introduction to the coq proof assistant.
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Llibre |
| Publicat: |
Cambridge, Massachusetts, USA: London, England,
2013.
|
| Matèries: | |
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Biblioteca Mayor de Ingeniería -
| Signatura: |
005.1 CHL 2013 |
|---|---|
| Còpia 1 | Disponible Fer una reserva |