CC7125 Introducción a Coq: Lógica, Tipos y Verificación

U-Cursos requiere Javascript para su correcto funcionamiento, sin embargo puede entrar al sitio a través de U-Pasaporte

Introducción a Coq: Lógica, Tipos y Verificación

Nombre	Introducción a Coq: Lógica, Tipos y Verificación
Código	CC7125
Institución	Facultad de Cs. Físicas y Matemáticas

Curso
Primavera 2024
Sección 1 Éric Tanter Gonzalo Navarro
Primavera 2022
Sección 1 Éric Tanter
Primavera 2017
Sección 1 Éric Tanter