Teoría de la computación y verificación de programas (Record no. 52685)

MARC details
000 -CABECERA
campo de control de longitud fija 01540nam a2200265 a 4500
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL
campo de control AR-LpUFIB
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
campo de control 20250311170256.0
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija 230201s2010 ag a r 000 0 ||| d
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
Número Internacional Estándar del Libro 978950340633
024 8# - Otro identificador estandar
Número estándar o código DIF-M2914
-- 3003
-- DIF002819
040 ## - FUENTE DE LA CATALOGACIÓN
Centro catalogador/agencia de origen AR-LpUFIB
Lengua de catalogación spa
Centro/agencia transcriptor AR-LpUFIB
100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA
Nombre de persona Rosenfeld, Ricardo Fabián
245 10 - MENCIÓN DE TÍTULO
Título Teoría de la computación y verificación de programas
250 ## - MENCIÓN DE EDICIÓN
Mención de edición 1a ed.
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC.
Lugar de publicación, distribución, etc. La Plata :
Nombre del editor, distribuidor, etc. [S.n.],
Fecha de publicación, distribución, etc. 2010
300 ## - DESCRIPCIÓN FÍSICA
Extensión 419 p. : il. ;
Dimensiones 22 cm.
490 0# - MENCIÓN DE SERIE
Mención de serie Facultad de Informática-U.N.L.P
505 0# - NOTA DE CONTENIDO CON FORMATO
Nota de contenido con formato 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 ## - SUMARIO, ETC.
Sumario, etc. 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 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada VERIFICACIÓN DE PROGRAMAS
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada CORRECCIÓN DE PROGRAMAS
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada FIABILIDAD DEL SOFTWARE
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Irazábal, Jerónimo
942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA)
Tipo de ítem Koha Libro
Holdings
Estado de retiro Estado de pérdida Estado dañado Disponibilidad Biblioteca permanente Biblioteca actual Fecha de adquisición Número de inventario Total de préstamos Signatura topográfica completa Código de barras Fecha visto por última vez Precio válido a partir de Tipo de ítem Koha Renovaciones totales En préstamo Fecha del último préstamo
      Préstamo a domicilio Biblioteca de la Facultad de Informática Biblioteca de la Facultad de Informática 27/04/2010 DIF-03470   D.2.4 ROS DIF-03470 11/03/2025 11/03/2025 Libro      
      Consulta en Sala Biblioteca de la Facultad de Informática Biblioteca de la Facultad de Informática 27/04/2010 DIF-03490   D.2.4 ROS DIF-03490 11/03/2025 11/03/2025 Libro      
      Préstamo a domicilio Biblioteca de la Facultad de Informática Biblioteca de la Facultad de Informática 27/04/2010 DIF-03491 2 D.2.4 ROS DIF-03491 11/03/2025 11/03/2025 Libro 1 03/01/2014 11/03/2025
      Préstamo a domicilio Biblioteca de la Facultad de Informática Biblioteca de la Facultad de Informática 27/04/2010 DIF-03492   D.2.4 ROS DIF-03492 11/03/2025 11/03/2025 Libro      
      Préstamo a domicilio Biblioteca de la Facultad de Informática Biblioteca de la Facultad de Informática 27/04/2010 DIF-03493   D.2.4 ROS DIF-03493 11/03/2025 11/03/2025 Libro      
      Préstamo a domicilio Biblioteca de la Facultad de Informática Biblioteca de la Facultad de Informática 27/04/2010 DIF-03494   D.2.4 ROS DIF-03494 11/03/2025 11/03/2025 Libro      
      Préstamo a domicilio Biblioteca de la Facultad de Informática Biblioteca de la Facultad de Informática 27/04/2010 DIF-03495   D.2.4 ROS DIF-03495 11/03/2025 11/03/2025 Libro      
      Préstamo a domicilio Biblioteca de la Facultad de Informática Biblioteca de la Facultad de Informática 27/04/2010 DIF-03496 1 D.2.4 ROS DIF-03496 13/03/2025 11/03/2025 Libro 2 09/04/2025 13/03/2025
      Préstamo a domicilio Biblioteca de la Facultad de Informática Biblioteca de la Facultad de Informática 27/04/2010 DIF-03489   D.2.4 ROS DIF-03489 11/03/2025 11/03/2025 Libro      
      Préstamo a domicilio Biblioteca de la Facultad de Informática Biblioteca de la Facultad de Informática 27/04/2010 DIF-03487   D.2.4 ROS DIF-03487 11/03/2025 11/03/2025 Libro      
      Préstamo a domicilio Biblioteca de la Facultad de Informática Biblioteca de la Facultad de Informática 27/04/2010 DIF-03488   D.2.4 ROS DIF-03488 11/03/2025 11/03/2025 Libro      
      Préstamo a domicilio Biblioteca de la Facultad de Informática Biblioteca de la Facultad de Informática 27/04/2010 DIF-03500   D.2.4 ROS DIF-03500 11/03/2025 11/03/2025 Libro      
      Préstamo a domicilio Biblioteca de la Facultad de Informática Biblioteca de la Facultad de Informática 27/04/2010 DIF-03501   D.2.4 ROS DIF-03501 11/03/2025 11/03/2025 Libro      
      Préstamo a domicilio Biblioteca de la Facultad de Informática Biblioteca de la Facultad de Informática 27/04/2010 DIF-03502   D.2.4 ROS DIF-03502 11/03/2025 11/03/2025 Libro      
      Préstamo a domicilio Biblioteca de la Facultad de Informática Biblioteca de la Facultad de Informática 27/04/2010 DIF-03503   D.2.4 ROS DIF-03503 11/03/2025 11/03/2025 Libro      
      Préstamo a domicilio Biblioteca de la Facultad de Informática Biblioteca de la Facultad de Informática 27/04/2010 DIF-03504   D.2.4 ROS DIF-03504 11/03/2025 11/03/2025 Libro      
      Préstamo a domicilio Biblioteca de la Facultad de Informática Biblioteca de la Facultad de Informática 27/04/2010 DIF-03505   D.2.4 ROS DIF-03505 11/03/2025 11/03/2025 Libro      
      Préstamo a domicilio Biblioteca de la Facultad de Informática Biblioteca de la Facultad de Informática 27/04/2010 DIF-03506 2 D.2.4 ROS DIF-03506 11/03/2025 11/03/2025 Libro 1 20/07/2023 11/03/2025
      Préstamo a domicilio Biblioteca de la Facultad de Informática Biblioteca de la Facultad de Informática 27/04/2010 DIF-03507   D.2.4 ROS DIF-03507 11/03/2025 11/03/2025 Libro