TY  - BOOK
AU  - Rosenfeld,Ricardo Fabián
TI  - Teoría de la Computación y Verificación de Programas
PY  - 2014///
KW  - VERIFICACIÓN DE PROGRAMAS
KW  - TEORÍA DE LA COMPUTABILIDAD
KW  - TEORÍA DE LA COMPUTACIÓN
KW  - COMPLEJIDAD COMPUTACIONAL
N1  - Carrera: Lic. en Informática Plan 2012 -- Año: 4º y 5º -- Duración: semestral
UR  -  http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=501
ER  -