Métodos formais para o desenvolvimento de programas (Record no. 50113)

MARC details
000 -CABECERA
campo de control de longitud fija 00891nam 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 20250311170130.0
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija 230201s1988 ag r 000 0 por d
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
Número Internacional Estándar del Libro 9501398781
024 8# - Otro identificador estandar
Número estándar o código DIF-M102
-- 102
-- DIF000109
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 Alencar, Paulo S. C. de
245 10 - MENCIÓN DE TÍTULO
Título Métodos formais para o desenvolvimento de programas
250 ## - MENCIÓN DE EDICIÓN
Mención de edición Ed. prelim. ed.
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC.
Lugar de publicación, distribución, etc. Buenos Aires :
Nombre del editor, distribuidor, etc. Kapelusz,
Fecha de publicación, distribución, etc. 1988
300 ## - DESCRIPCIÓN FÍSICA
Extensión ix, 175 p. ;
Dimensiones 23 cm.
490 0# - MENCIÓN DE SERIE
Mención de serie Colección EBAI
500 ## - NOTA GENERAL
Nota general Libro editado para la IV Escuela Brasileño-Argentina de Informática, realizada en Termas de Río Hondo, Santiago del Estero, Argentina, del 16 al 29 de enero de 1989.
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 MÉTODOS FORMALES
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Lucena, Carlos J. P. de
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
      Préstamo a domicilio Biblioteca de la Facultad de Informática Biblioteca de la Facultad de Informática 17/07/2006 DIF-02895   D.2.4 ALE DIF-02895 11/03/2025 11/03/2025 Libro