U-Cursos ::
MA7125-1 Introducción a COQ: Lógica, Tipos y Verificación 2017, Primavera
U-Cursos requiere Javascript para su correcto funcionamiento, sin embargo puede entrar al sitio a través de
U-Pasaporte
Contacto
Entrar
Introducción a COQ: Lógica, Tipos y Verificación
MA7125-1 - Primavera 2017
Historial
Horario
Integrantes
Material Docente
Presentación
Material Docente
Material Docente
Descargar
Nº
Título
Por
Clases
1
planches.pdf
1.2 mb
Martin Bodin
20 Nov 2017
20/11/17
2017-11-20
2
JSCert, part 1.pdf
2 mb
Martin Bodin
15 Nov 2017
15/11/17
2017-11-15