Computer Science Department
Computer Science Department
Faculty of Exact Sciences, Engineering and Surveying
National University of Rosario
Faculty of Exact Sciences, Engineering and Surveying
National University of 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
Designed by
