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