TY  - BOOK
AU  - Rosenfeld,Ricardo Fabián
AU  - Irazábal,Jerónimo
TI  - Teoría de la computación y verificación de programas
T2  - Facultad de Informática-U.N.L.P
SN  - 978950340633
PY  - 2010///
CY  - La Plata
PB  - [S.n.]
KW  - VERIFICACIÓN DE PROGRAMAS
KW  - CORRECCIÓN DE PROGRAMAS
KW  - FIABILIDAD DEL SOFTWARE
N1  -  I-Computabilidad y decidibilidad: Máquinas de Turing -- Lenguajes recursivos -- El problema de la detención -- Reducciones de problemas -- II-Complejidad computacional: Introducción a la complejidad temporal -- La clase NP -Introducción a la complejidad espacial -- Espacio logarítmico y polinomial -- III-Verificación de programas: Definiciones iniciales -- Verificaciones de programas secuenciales determinísticos -- Verificaciones de programas secuenciales no determinísticos -Verificación de programas concurrentes
N2  - 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
ER  -