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