Construcción formal de programas en teoría de tipos

Tipo

Posgrado

Institutos

INCO

Programas de posgrado

Informática (PEDECIBA)

Programa

Construccion formal de programas en teoria de tipos.pdf (699.61 KB)

Créditos

10

Inicio

1er Semestre

Marzo a julio de 2024

Docentes responsables

Gustavo Betarte, Carlos Luna

Página de inscripción

https://bedelias.udelar.edu.uy/