000			01540nam a2200265 a 4500
003			AR-LpUFIB
005			20250311170256.0
008			230201s2010 ag a r 000 0 ||| d
020			_a978950340633
024	8		_aDIF-M2914 _b3003 _zDIF002819
040			_aAR-LpUFIB _bspa _cAR-LpUFIB
100	1		_aRosenfeld, Ricardo Fabián
245	1	0	_aTeoría de la computación y verificación de programas
250			_a1a ed.
260			_aLa Plata : _b[S.n.], _c2010
300			_a419 p. : il. ; _c22 cm.
490	0		_aFacultad de Informática-U.N.L.P
505	0		_a 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.
520			_aContenido 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.
650		4	_aVERIFICACIÓN DE PROGRAMAS
650		4	_aCORRECCIÓN DE PROGRAMAS
650		4	_aFIABILIDAD DEL SOFTWARE
700	1		_aIrazábal, Jerónimo
942			_cBK
999			_c52685 _d52685