MARC details
| 000 -CABECERA |
|---|
| campo de control de longitud fija |
01232nam 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 |
20250311170137.0 |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
230201s1996 xxk r 100 0 eng d |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
|---|
| Número Internacional Estándar del Libro |
0412716208 |
| 024 8# - Otro identificador estandar |
|---|
| Número estándar o código |
DIF-M306 |
| -- |
307 |
| -- |
DIF000311 |
| 040 ## - FUENTE DE LA CATALOGACIÓN |
|---|
| Centro catalogador/agencia de origen |
AR-LpUFIB |
| Lengua de catalogación |
spa |
| Centro/agencia transcriptor |
AR-LpUFIB |
| 111 2# - ENTRADA PRINCIPAL--NOMBRE DE CONGRESO/REUNIÓN |
|---|
| Nombre de congreso/reunión o jurisdicción como elemento de entrada |
|
| Número del congreso/reunión o número de parte o sección |
(15° : |
| Fecha del congreso/reunión |
jun. 1995 : |
| Sede del congreso/Lugar de la reunión |
Warsaw ) |
| 245 00 - MENCIÓN DE 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 ## - MENCIÓN DE EDICIÓN |
|---|
| 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 |
| 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 |
| 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 |
| 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 |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Dembiński, Piotr , |
| -- |
Editor/a |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Średniawa, Marek , |
| -- |
Editor/a |
| 942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) |
|---|
| Tipo de ítem Koha |
Libro |