|
|
|
|
| LEADER |
00000nam a2200000 a 4500 |
| 003 |
AR-LpUFIB |
| 005 |
20250311170256.0 |
| 008 |
230201s2010 ag a r 000 0 ||| d |
| 020 |
|
|
|a 978950340633
|
| 024 |
8 |
|
|a DIF-M2914
|b 3003
|z DIF002819
|
| 040 |
|
|
|a AR-LpUFIB
|b spa
|c AR-LpUFIB
|
| 100 |
1 |
|
|a Rosenfeld, Ricardo Fabián
|
| 245 |
1 |
0 |
|a Teoría de la computación y verificación de programas
|
| 250 |
|
|
|a 1a ed.
|
| 260 |
|
|
|a La Plata :
|b [S.n.],
|c 2010
|
| 300 |
|
|
|a 419 p. : il. ;
|c 22 cm.
|
| 490 |
0 |
|
|a Facultad 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 |
|
|
|a 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.
|
| 650 |
|
4 |
|a VERIFICACIÓN DE PROGRAMAS
|
| 650 |
|
4 |
|a CORRECCIÓN DE PROGRAMAS
|
| 650 |
|
4 |
|a FIABILIDAD DEL SOFTWARE
|
| 700 |
1 |
|
|a Irazábal, Jerónimo
|
| 942 |
|
|
|c BK
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 D24_ROS
|7 0
|9 77400
|a DIF
|b DIF
|d 2010-04-27
|i DIF-03470
|l 0
|o D.2.4 ROS
|p DIF-03470
|r 2025-03-11 17:02:56
|w 2025-03-11
|y BK
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 D24_ROS
|7 1
|9 77401
|a DIF
|b DIF
|d 2010-04-27
|i DIF-03490
|l 0
|o D.2.4 ROS
|p DIF-03490
|r 2025-03-11 17:02:56
|w 2025-03-11
|y BK
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 D24_ROS
|7 0
|9 77402
|a DIF
|b DIF
|d 2010-04-27
|i DIF-03491
|l 2
|m 1
|o D.2.4 ROS
|p DIF-03491
|q 2014-01-03
|r 2025-03-11 19:01:03
|s 2025-03-11
|w 2025-03-11
|y BK
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 D24_ROS
|7 0
|9 77403
|a DIF
|b DIF
|d 2010-04-27
|i DIF-03492
|l 0
|o D.2.4 ROS
|p DIF-03492
|r 2025-03-11 17:02:56
|w 2025-03-11
|y BK
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 D24_ROS
|7 0
|9 77404
|a DIF
|b DIF
|d 2010-04-27
|i DIF-03493
|l 0
|o D.2.4 ROS
|p DIF-03493
|r 2025-03-11 17:02:56
|w 2025-03-11
|y BK
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 D24_ROS
|7 0
|9 77405
|a DIF
|b DIF
|d 2010-04-27
|i DIF-03494
|l 0
|o D.2.4 ROS
|p DIF-03494
|r 2025-03-11 17:02:56
|w 2025-03-11
|y BK
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 D24_ROS
|7 0
|9 77406
|a DIF
|b DIF
|d 2010-04-27
|i DIF-03495
|l 0
|o D.2.4 ROS
|p DIF-03495
|r 2025-03-11 17:02:56
|w 2025-03-11
|y BK
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 D24_ROS
|7 0
|9 77407
|a DIF
|b DIF
|d 2010-04-27
|i DIF-03496
|l 1
|m 3
|o D.2.4 ROS
|p DIF-03496
|q 2025-04-16
|r 2025-03-13 15:22:15
|s 2025-03-13
|w 2025-03-11
|y BK
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 D24_ROS
|7 0
|9 77408
|a DIF
|b DIF
|d 2010-04-27
|i DIF-03489
|l 0
|o D.2.4 ROS
|p DIF-03489
|r 2025-03-11 17:02:56
|w 2025-03-11
|y BK
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 D24_ROS
|7 0
|9 77409
|a DIF
|b DIF
|d 2010-04-27
|i DIF-03487
|l 1
|o D.2.4 ROS
|p DIF-03487
|q 2025-04-15
|r 2025-04-08 10:25:57
|s 2025-04-08
|w 2025-03-11
|y BK
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 D24_ROS
|7 0
|9 77410
|a DIF
|b DIF
|d 2010-04-27
|i DIF-03488
|l 0
|o D.2.4 ROS
|p DIF-03488
|r 2025-03-11 17:02:56
|w 2025-03-11
|y BK
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 D24_ROS
|7 0
|9 77411
|a DIF
|b DIF
|d 2010-04-27
|i DIF-03500
|l 0
|o D.2.4 ROS
|p DIF-03500
|r 2025-03-11 17:02:56
|w 2025-03-11
|y BK
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 D24_ROS
|7 0
|9 77412
|a DIF
|b DIF
|d 2010-04-27
|i DIF-03501
|l 0
|o D.2.4 ROS
|p DIF-03501
|r 2025-03-11 17:02:56
|w 2025-03-11
|y BK
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 D24_ROS
|7 0
|9 77413
|a DIF
|b DIF
|d 2010-04-27
|i DIF-03502
|l 0
|o D.2.4 ROS
|p DIF-03502
|r 2025-03-11 17:02:56
|w 2025-03-11
|y BK
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 D24_ROS
|7 0
|9 77414
|a DIF
|b DIF
|d 2010-04-27
|i DIF-03503
|l 0
|o D.2.4 ROS
|p DIF-03503
|r 2025-03-11 17:02:56
|w 2025-03-11
|x 11/07/2019 Un poco ondulado por humedad
|y BK
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 D24_ROS
|7 0
|9 77415
|a DIF
|b DIF
|d 2010-04-27
|i DIF-03504
|l 0
|o D.2.4 ROS
|p DIF-03504
|r 2025-03-11 17:02:56
|w 2025-03-11
|y BK
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 D24_ROS
|7 0
|9 77416
|a DIF
|b DIF
|d 2010-04-27
|i DIF-03505
|l 0
|o D.2.4 ROS
|p DIF-03505
|r 2025-03-11 17:02:56
|w 2025-03-11
|y BK
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 D24_ROS
|7 0
|9 77417
|a DIF
|b DIF
|d 2010-04-27
|i DIF-03506
|l 2
|m 1
|o D.2.4 ROS
|p DIF-03506
|q 2023-07-20
|r 2025-03-11 19:01:06
|s 2025-03-11
|w 2025-03-11
|y BK
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 D24_ROS
|7 0
|9 77418
|a DIF
|b DIF
|d 2010-04-27
|i DIF-03507
|l 0
|o D.2.4 ROS
|p DIF-03507
|r 2025-03-11 17:02:56
|w 2025-03-11
|y BK
|
| 999 |
|
|
|c 52685
|d 52685
|
