TY  - BOOK
T1  - Teoría de la computación y verificación de programas
T2  - Facultad de Informática-U.N.L.P
A1  - Rosenfeld, Ricardo Fabián
A2  - Irazábal, Jerónimo
PP  - La Plata
PB  - [S.n.]
YR  - 2010
ED  - 1a ed.
UL  - http://vufind10-pruebas.sigbunlp.bibliotecas.unlp.edu.ar/Record/dif.52685
AB  - Contenido basado en las asignaturas Teoría de la Computación y Verificación de Programas, y Teoría de la Comutación y Verificación de Programas Avanzada, que los autores dictan a los alumnos de cuarto y quinto año dela Licenciatura en Informática.
OP  - 419
SN  - 978950340633
KW  - VERIFICACIÓN DE PROGRAMAS
KW  - CORRECCIÓN DE PROGRAMAS
KW  - FIABILIDAD DEL SOFTWARE
ER  -