TY  - BOOK
AU  - Rosenfeld,Ricardo Fabián
TI  - Teoría de la Computación y Verificación de Programas
PY  - 2019///
KW  - TEORÍA DE LA COMPUTACIÓN
KW  - TEORÍA DE LA COMPUTABILIDAD
KW  - COMPLEJIDAD COMPUTACIONAL
KW  - CORRECCIÓN DE PROGRAMAS
KW  - SEMÁNTICA DE LOS LENGUAJES DE PROGRAMACIÓN
KW  - VERIFICACIÓN DE PROGRAMAS
N1  - 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
UR  -  http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=1980
ER  -