Instituto de Computación - Grupo de Metodos Formales - Facultad de Ingeniería

Este curso se desarrolla también para la Licenciatura en Ciencias de la Computación de la FCEIA, UNR (Argentina)

Construcción Formal de Programas en Teoría de Tipos
2º semestre 2013

Información General

A través del foro del curso en el EVA de FING.

Programa del curso