Teoría de la computación y verificación de programas

Rosenfeld, Ricardo Fabián

Teoría de la computación y verificación de programas - 1a ed. - La Plata : [S.n.], 2010 - 419 p. : il. ; 22 cm. - Facultad de Informática-U.N.L.P .

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.

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.

978950340633

DIF-M2914


VERIFICACIÓN DE PROGRAMAS
CORRECCIÓN DE PROGRAMAS
FIABILIDAD DEL SOFTWARE