Computabilidad, complejidad computacional y verificación de programas (Record no. 55572)

MARC details
000 -CABECERA
campo de control de longitud fija 01887nam 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 20250311170412.0
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija 230201s2013 xx o 000 0 spa d
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
Número Internacional Estándar del Libro 9789503409701
024 8# - Otro identificador estandar
Número estándar o código DIF-M6335
-- 6468
-- DIF005788
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 Computabilidad, complejidad computacional 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. Edulp,
Fecha de publicación, distribución, etc. 2013
300 ## - DESCRIPCIÓN FÍSICA
Extensión 1 archivo (2,48 MB)
490 0# - MENCIÓN DE SERIE
Mención de serie Libros de Cátedra
505 0# - NOTA DE CONTENIDO CON FORMATO
Nota de contenido con formato Prólogo -- -- Parte 1. Computabilidad -- Clase 1. Máquinas de Turing -- Clase 2. Jerarquía de la computabilidad -- Clase 3. Indecidibilidad -- Clase 4. Reducciones de problemas -- Clase 5. Misceláneas de computabilidad -- Notas y bibliografía para la Parte 1 -- -- Parte 2. Complejidad computacional -- Clase 6. Jerarquía de la complejidad temporal -- Clase 7. Las clases P y NP -- Clase 8. Problemas NP-completos -- Clase 9. Otras clases de complejidad -- Clase 10. Misceláneas de complejidad computacional -- Notas y bibliografía para la Parte 2 -- -- Parte 3. Verificación de programas -- Clase 11. Métodos de verificación de programas -- Clase 12. Verificación de la correctitud parcial -- Clase 13. Verificación de la terminación -- Clase 14. Sensatez y completitud de los métodos de verificación -- Clase 15. Misceláneas de verificación de programas -- Notas y bibliografía para la Parte 3 -- -- Epílogo -- -- Índice de definiciones -- Índice de teoremas -- Índice de ejemplos -- Índice de ejercicios
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 COMPLEJIDAD COMPUTACIONAL
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada TEORÍA DE LA COMPUTABILIDAD
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Irazábal, Jerónimo
856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS
Identificador Uniforme del Recurso <a href=" http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=387"> http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=387</a>
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 Código de barras Fecha visto por última vez Precio válido a partir de Tipo de ítem Koha Colección Identificador Uniforme del Recurso
      Préstamo a domicilio Biblioteca de la Facultad de Informática Biblioteca de la Facultad de Informática 11/03/2025 DIF-L013   DIF-L013 11/03/2025 11/03/2025 Libro    
      Recurso en Línea Biblioteca de la Facultad de Informática Biblioteca de la Facultad de Informática 11/03/2025       11/03/2025 11/03/2025 Libro Biblioteca digital http://sedici.unlp.edu.ar/handle/10915/27887
      Recurso en Línea Biblioteca de la Facultad de Informática Biblioteca de la Facultad de Informática 11/03/2025       11/03/2025 11/03/2025 Libro Biblioteca digital http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=387