Departamento de Ciencias de la Computación
Departamento de Ciencias de la Computación
Facultad de Ciencias Exactas, Ingeniería y Agrimensura
Universidad Nacional de Rosario
Facultad de Ciencias Exactas, Ingeniería y Agrimensura
Universidad Nacional de Rosario
Construcción Formal de Programas en Teoría de Tipos
Lista de Correo:
MetodosFormales@googlegroups.com
Descripción:
Profesor: Carlos Luna - Dante Zanarini
Sitio alternativo: http://www.fing.edu.uy/inco/grupos/mf/TPPSF/
Año:
Optativas
Cuatrimestre:
Segundo cuatrimestre
Diseñado por
