Protocol specification, testing and verification XV : (Record no. 842543)

MARC details
000 -LEADER
campo de control de longitud fija 01425nam a2200289 a 4500
003 - IDENTIFICADOR DE NÚMERO DE CONTROL
campo de control AR-LpUFIB
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
campo de control 20240131182902.0
007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA--INFORMACIÓN GENERAL
campo de control de longitud fija ta
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija 230201s1996 xxk dr 000 0 eng d
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
Número Internacional Estándar del Libro 0412716208
024 8# - IDENTIFICADOR DE OTROS ESTÁNDARES
Número estándar o código DIF000302
040 ## - FUENTE DE 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 IFIP WG6.1 International Symposium on Protocol Specification Testing and Verification (15º : 1995 : Varsovia)
9 (RLIN) 248596
245 10 - MENCIÓN DEL TÍTULO
Título Protocol specification, testing and verification XV :
Resto del título proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995
250 ## - MENCION DE EDICION
Mención de edición 1st ed.
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC.
Lugar de publicación, distribución, etc. London :
Nombre del editor, distribuidor, etc. Chapman & Hall,
Fecha de publicación, distribución, etc. 1996
300 ## - DESCRIPCIÓN FÍSICA
Extensión vii, 455 p. ;
Dimensiones 23 cm.
505 0# - NOTA DE CONTENIDO CON FORMATO
Nota de contenido con formato Specification and verification: time-dependent analysis -- Specification of concurrent systems -- Testing -- Specification and verification: temporal approach -- Validation and testing -- Specification and analysis -- Verification: model checking -- High speed / multimedia -- Towards implementation.
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada REQUERIMIENTOS/ESPECIFICACIONES
9 (RLIN) 248002
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada INGENIERÍA DE SOFTWARE
9 (RLIN) 247951
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 PROTOCOLOS
9 (RLIN) 248599
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada REUNIONES
9 (RLIN) 134242
700 1# - ENTRADA AGREGADA--NOMBRE PERSONAL
Nombre de persona International Federation for Information Processing - IFIP
9 (RLIN) 248021
700 1# - ENTRADA AGREGADA--NOMBRE PERSONAL
Nombre de persona Sredniawa, Marek
9 (RLIN) 248601
700 1# - ENTRADA AGREGADA--NOMBRE PERSONAL
Nombre de persona Dembinski, Piotr
9 (RLIN) 248602
942 ## - ELEMENTOS DE ENTRADA SECUNDARIOS (KOHA)
Tipo de ítem Koha Libros
Holdings
Estado retirado Estado de pérdida Estado de daño No para préstamo Biblioteca de origen Biblioteca actual Fecha de adquisición Número de inventario Total de préstamos Signatura topográfica completa Código de barras Visto por última vez Precio de reemplazo Tipo de ítem Koha
      Disponible para préstamo Biblioteca Fac.Informática Biblioteca Fac.Informática 17/07/2006 DIF-00026   C.2.2 PRO DIF-00026 31/01/2024 31/01/2024 Libros

Powered by Koha