Detalles MARC
000 -CABECERA |
campo de control de longitud fija |
01506nam a22003857a 4500 |
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL |
campo de control |
AR_CdUFM |
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
campo de control |
20190408185031.0 |
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
campo de control de longitud fija |
080731s1996 gw|||||| || 00| 0 eng |
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
Número Internacional Estándar del Libro |
3540619291 |
040 ## - FUENTE DE LA CATALOGACIÓN |
Centro catalogador/agencia de origen |
AR_CdUFM |
Centro/agencia transcriptor |
AR_CdUFM |
245 00 - MENCIÓN DE TÍTULO |
Título |
Formal methods for industrial applications : |
Resto del título |
specifying and programming the steam boiler control / |
Mención de responsabilidad, etc. |
edited by Jean-Raymond Abrial, Egon Börger, Hans Langmaack. |
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. |
Lugar de publicación, distribución, etc. |
Berlin : |
Nombre del editor, distribuidor, etc. |
Springer, |
Fecha de publicación, distribución, etc. |
1996. |
300 ## - DESCRIPCIÓN FÍSICA |
Extensión |
vii, 509 p. : |
Otras características físicas |
il. ; |
Dimensiones |
24 cm. + |
Material acompañante/anejo |
1 CD-ROM |
490 ## - MENCIÓN DE SERIE |
Mención de serie |
Lecture notes in computer science ; |
Designación de volumen o secuencia |
v. 1165 |
Mención de serie |
LNCS ; |
Designación de volumen o secuencia |
v. 1165 |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Programming techniques. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Programación-Técnicas. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Sistemas distribuidos. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Distributed systems. |
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 |
Software engineering. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Lenguajes de programación-Definiciones formales y teoría. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Programming languages-Formal definitions and theory. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Programas-Especificació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 |
Programs-Specification. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Programas-Verificació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 |
Programs-Verification. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Administración de sistemas de computación y de informació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 |
Management of computing and information systems. |
700 1# - ENTRADA AGREGADA--NOMBRE PERSONAL |
9 (RLIN) |
68 |
Nombre de persona |
Abrial, Jean-Raymond, |
Fechas asociadas al nombre |
1938- |
Término indicativo de función/relación |
ed. |
700 1# - ENTRADA AGREGADA--NOMBRE PERSONAL |
Nombre de persona |
Börger, Egon, |
Fechas asociadas al nombre |
1946- |
Término indicativo de función/relación |
ed. |
9 (RLIN) |
1886 |
700 1# - ENTRADA AGREGADA--NOMBRE PERSONAL |
9 (RLIN) |
9621 |
Nombre de persona |
Langmaack, Hans, |
Término indicativo de función/relación |
ed. |
Fechas asociadas al nombre |
1934-, |
942 ## - ELEMENTOS DE ENTRADA AGREGADA (KOHA) |
Tipo de ítem Koha |
Libro |
Fuente del sistema de clasificación o colocación |
|
942 ## - ELEMENTOS DE ENTRADA AGREGADA (KOHA) |
Tipo de ítem Koha |
CD/DVD de datos |
Fuente del sistema de clasificación o colocación |
|
945 ## - PROCESAMIENTO DE INFORMACIÓN LOCAL (OCLC) |
Codigo del Catalogador |
MCR |
Fecha |
2011-05-17 |