Systems and software verification: (Registro nro. 10218)
[ vista simple ]
000 -CABECERA | |
---|---|
Campo de control de longitud fija | 00888aam a2200241 a 4500 |
001 - NÚMERO DE CONTROL | |
Campo de control | 11195 |
003 - IDENTIFICADOR DE NÚMERO DE CONTROL | |
Campo de control | CoBo-ECI |
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN | |
Campo de control | 20221121094102.0 |
007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA | |
DESCRIPCIÓN FÍSICA | ta |
008 - CAMPO FIJO DE DESCRIPCIÓN FIJA--INFORMACIÓN GENERAL | |
Campo de control de longitud fija | 150731b gw ||||| |||| 00| 0 eng d |
020 ## - ISBN (INTERNATIONAL STANDARD BOOK NUMBER) | |
ISBN | 3540415238 |
082 0# - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY | |
Número de clasificación Decimal | 004.21 |
Número de documento (Cutter) | S977 |
245 0# - TÍTULO PROPIAMENTE DICHO | |
Título | Systems and software verification: |
Parte restante del título | model-checking techniques and tools/ |
Mención de responsabilidad, etc. | B. Bérard ... [et. al.] |
260 4# - PUBLICACIÓN, DISTRIBUCIÓN, ETC (PIE DE IMPRENTA) | |
Lugar de publicación, distribución, etc. | Berlin: |
Nombre del editor, distribuidor, etc. | Springer |
Fecha de publicación, distribución, etc. | 2001 |
300 4# - DESCRIPCIÓN FÍSICA | |
Extensión | 190 p. |
504 4# - NOTA DE BIBLIOGRAFÍA, ETC. | |
Bibliografía, etc. | Incluye bibliografía al final de cada capítulo e índice p. 183 |
650 ## - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
9 (RLIN) | 3397 |
Nombre de materia o nombre geográfico como elemento de entrada | ANÁLISIS DE SISTEMAS |
650 ## - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
9 (RLIN) | 6517 |
Nombre de materia o nombre geográfico como elemento de entrada | PROGRAMAS PARA COMPUTADOR |
Subdivisión general | VERIFICACION |
650 ## - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
9 (RLIN) | 7115 |
Nombre de materia o nombre geográfico como elemento de entrada | SISTEMAS DE COMUNICACIÓN |
Subdivisión general | VERIFICACION |
700 1# - ENCABEZAMIENTO SECUNDARIO--NOMBRE PERSONAL | |
Nombre de persona | Berard, B. |
-- | Laroussinie F. |
-- | Finkel, A. |
-- | Bidoit M. |
-- | Petit A. |
-- | Petrucci, L. |
9 (RLIN) | 20064 |
942 ## - ELEMENTOS KOHA | |
Fuente de clasificación o esquema de ordenación en estanterías | |
Koha tipo de item | LIBRO - MATERIAL GENERAL |
Disponibilidad | Mostrar en OPAC | Fuente de clasificación o esquema | Tipo de Descarte | Estado | Código de colección | Localización permanente | Localización actual | Fecha adquisición | Proveedor | Forma de Adq | Precio normal de compra | Datos del ítem (Volumen, Tomo) | Préstamos totales | Signatura completa | Código de barras | Fecha última consulta | Fecha último préstamo | Número de ejemplar | Coste, precio de reemplazo | Propiedades de Préstamo KOHA | Programa Académico |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Préstamo Normal | Colección / Fondo / Acervo / Resguardo | Biblioteca Jorge Álvarez Lleras | Biblioteca Jorge Álvarez Lleras | 2005-09-15 | Amazon | Compra | 111722.00 | Ej. 1 | 1 | 004.21 S977 | 016258 | 2016-01-21 | 2016-01-14 | 1 | 56540.57 | LIBRO - MATERIAL GENERAL | Ingenieria Sistemas |