TY  - BOOK
AU  - Rosenfeld,Ricardo Fabián
TI  - Teoría de la Computación y Verificación de Programas
PY  - 2018///
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 -- Año: 4° -- Duración: semestral
UR  -  http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=1396
ER  -