Catálogo de publicaciones - libros
Verified Functional Programming in Agda
Resumen/Descripción – provisto por la editorial
No disponible.
Palabras clave – provistas por la editorial
No disponibles.
Disponibilidad
| Institución detectada | Año de publicación | Navegá | Descargá | Solicitá |
|---|---|---|---|---|
| No detectada | 2016 | ACM Digital Library |
Información
Tipo de recurso:
libros
ISBN impreso
978-1-970001-27-3
Editor responsable
Association for Computing Machinery (ACM)
País de edición
Estados Unidos
Fecha de publicación
2016
