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

Código

1347

Tipo

Grado

Institutos

INCO

Programa

construccion-formal-de-programas-en-teoria-de-tipos_1347.pdf (265.57 KB)

Créditos

12

Inicio

2do Semestre

Página de inscripción

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