Understanding formal methods/ (Registro nro. 10193)
[ vista simple ]
| 000 -CABECERA | |
|---|---|
| Campo de control de longitud fija | 00666 a a2200217 04500 |
| 001 - NÚMERO DE CONTROL | |
| Campo de control | 11168 |
| 003 - IDENTIFICADOR DE NÚMERO DE CONTROL | |
| Campo de control | CoBo-ECI |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN | |
| Campo de control | 20221118120101.0 |
| 008 - CAMPO FIJO DE DESCRIPCIÓN FIJA--INFORMACIÓN GENERAL | |
| Campo de control de longitud fija | 150731b xxu||||| |||| 00| 0 eng d |
| 020 ## - ISBN (INTERNATIONAL STANDARD BOOK NUMBER) | |
| ISBN | 1852332476 |
| 082 0# - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY | |
| Número de clasificación Decimal | 005.131 |
| Número de documento (Cutter) | M654u |
| 100 40 - ENCABEZAMIENTO PRINCIPAL--NOMBRE PERSONAL | |
| 9 (RLIN) | 20130 |
| Nombre de persona | Monin, Jean, François |
| 245 0# - TÍTULO PROPIAMENTE DICHO | |
| Título | Understanding formal methods/ |
| Mención de responsabilidad, etc. | Jean-François Monin |
| 260 4# - PUBLICACIÓN, DISTRIBUCIÓN, ETC (PIE DE IMPRENTA) | |
| Lugar de publicación, distribución, etc. | London: |
| Nombre del editor, distribuidor, etc. | Springer |
| Fecha de publicación, distribución, etc. | 2003 |
| 300 4# - DESCRIPCIÓN FÍSICA | |
| Extensión | 275 p. |
| 504 4# - NOTA DE BIBLIOGRAFÍA, ETC. | |
| Bibliografía, etc. | Incluye bibliografía e índice p. 255 |
| 650 ## - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
| 9 (RLIN) | 5298 |
| Nombre de materia o nombre geográfico como elemento de entrada | LOGICA MATEMATICA |
| 650 ## - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
| 9 (RLIN) | 5299 |
| Nombre de materia o nombre geográfico como elemento de entrada | LOGICA SIMBOLICA |
| 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 | Número de ejemplar | Coste, precio de reemplazo | Propiedades de Préstamo KOHA | Programa Académico |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Préstamo Normal | Colección / Fondo / Acervo / Resguardo | Bodega | Bodega | 2005-09-03 | Amazon | Compra | 301093.00 | Ej. 1 | 005.131 M654u | 016208 | 2015-05-26 | 1 | 56540.57 | LIBRO - MATERIAL GENERAL | Ingenieria Sistemas |
AK. 45 No. 205 - 59, Autopista Norte.
PBX: +60(1) 668 3600 - Bogotá.