TY  - BOOK
AU  - Rosenfeld,Ricardo Fabián
TI  - Teoría de la Computación y Verificación de Programas Avanzada
PY  - 2019///
KW  - TEORÍA DE LA COMPUTACIÓN
KW  - VERIFICACIÓN DE PROGRAMAS
N1  - Carrera: Lic. en Informática Plan 2003-07, 2012, 2015 -- Año: 4° -- Duración: semestral -- Carácter: optativa
UR  -  http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=2010
ER  -