TY  - GEN
T1  - Teoría de la Computación y Verificación de Programas Avanzada
A1  - Rosenfeld, Ricardo Fabián
LA  - Spanish
YR  - 2014
UL  - http://vufind10-pruebas.sigbunlp.bibliotecas.unlp.edu.ar/Record/dif.55694
NO  - Carrera: Lic. en Informática Plan 2012 -- Año: 4º o 5º -- Duración: semestral -- Carácter: optativa.
KW  - TEORÍA DE LA COMPUTACIÓN
ER  -