TY  - BOOK
AU  - Rosenfeld,Ricardo Fabián
TI  - Teoría de la Computación y Verificación de Programas
PY  - 2010///
KW  - VERIFICACIÓN DE PROGRAMAS
KW  - CORRECCIÓN DE PROGRAMAS
KW  - FIABILIDAD DEL SOFTWARE
N1  - Carrera: Licenciatura en Informática Plan 2003-07 -- Duración: semestral -- Carácter: optativa
UR  -  http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=353
ER  -