Rosenfeld, Ricardo Fabián <br/><br/>
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 .
<br/><br/>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. 
<br/><br/> 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. 
<br/><br/><label>ISBN: </label>978950340633 
<br/><br/><label>Standard No.: </label>DIF-M2914 
<br/><br/><label>Subjects--Topical Terms: </label><br/>VERIFICACIÓN DE PROGRAMAS<br/>CORRECCIÓN DE PROGRAMAS<br/>FIABILIDAD DEL SOFTWARE