Teoría de la Computación y Verificación de Programas (Record no. 57060)

MARC details
000 -CABECERA
campo de control de longitud fija 00997nam a2200253 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 20250311170458.0
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija 230201s2019 ag rp 000 0 spa d
024 8# - Otro identificador estandar
Número estándar o código DIF-M7983
-- 8199
-- DIF007285
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
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC.
Fecha de publicación, distribución, etc. 2019
300 ## - DESCRIPCIÓN FÍSICA
Extensión 1 archivo (163,2 KB)
500 ## - NOTA GENERAL
Nota general Carrera: Lic. en Informática Plan 2003-07, 2012, 2015; Licenciatura en Sistemas Planes 2015, 2012, 2003-07 -- Año: 4° -- Duración: semestral -- Materia optativa para la Lic. en Sistemas.
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 COMPUTACIÓN
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
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 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 SEMÁNTICA DE LOS LENGUAJES DE PROGRAMACIÓN
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
856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS
Identificador Uniforme del Recurso <a href=" http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=1980"> http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=1980</a>
942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA)
Tipo de ítem Koha Programa de materia/seminario
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 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-E0443   P15OI401_19E DIF-E0443 11/03/2025 11/03/2025 Programa de materia/seminario    
      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 Programa de materia/seminario Biblioteca digital http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=1980