Teoría de la Computación y Verificación de Programas

Rosenfeld, Ricardo Fabián

Teoría de la Computación y Verificación de Programas - 2019 - 1 archivo (163,2 KB)

Carrera: Lic. en Informática Plan 2003-07, 2012, 2015; Licenciatura en Sistemas Planes 2015, 2012, 2003-07 -- Año: 4° -- Duración: semestral -- Materia optativa para la Lic. en Sistemas.

DIF-M7983


TEORÍA DE LA COMPUTACIÓN
TEORÍA DE LA COMPUTABILIDAD
COMPLEJIDAD COMPUTACIONAL
CORRECCIÓN DE PROGRAMAS
SEMÁNTICA DE LOS LENGUAJES DE PROGRAMACIÓN
VERIFICACIÓN DE PROGRAMAS