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