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

Título:

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

Profesor/a:

Rosenfeld, Ricardo Fabián

Equipo docente:

; 

Temas:

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; 

Medio:

Soporte electrónico

Tipo de documento:

Programa de estudio

Extensión:

1 archivo (163,2 KB)

Idioma:

Español

Año:

2019

Nota general:

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.

Puede solicitar más fácilmente el ejemplar con: P15OI401_19E

Ver estantes