Registro:
| Documento: | Programa de la asignatura |
| Idioma: | Español |
| Formato: | PDF |
| Nombre de la asignatura: | Curso Avanzado sobre Tipos Dependientes y Demostradores Interactivos (2025) |
| Docente/s a cargo: | Barenbaum, Pablo |
| Departamento: | Departamento de Computación |
| Resolución de Aprobación: | 1580 |
| Año de Resolución de Aprobación: | 2025 |
| Momento de dictado: | segundo
|
| Código y nombre de asignatura en Guaraní: | Curso Avanzado sobre Tipos Dependientes y Demostradores Interactivos |
| Handle: |
https://hdl.handle.net/20.500.12110/programa_n20251580 |
| PDF: | https://bibliotecadigital.exactas.uba.ar/download/programa/programa_n20251580.pdf |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/programa/document/programa_n20251580 |
| Ubicación: | 2025 1580 |
| Derechos de Acceso: | Esta obra puede ser leída, grabada y utilizada con fines de estudio, investigación y docencia. Es necesario el reconocimiento de autoría mediante la cita correspondiente. Programa de la asignatura : Curso Avanzado sobre Tipos Dependientes y Demostradores Interactivos (2025). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación. Recuperado de https://hdl.handle.net/20.500.12110/programa_n20251580 |
Citación sugerida:
Programa de la asignatura : Curso Avanzado sobre Tipos Dependientes y Demostradores Interactivos (2025). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación. Recuperado de https://hdl.handle.net/20.500.12110/programa_n20251580
Estadísticas:
Descargas totales desde :
Descargas mensuales
https://bibliotecadigital.exactas.uba.ar/download/programa/programa_n20251580.pdf
