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 |