All about Maude: a high-performance logical framework: (Registro nro. 11568)
[ vista simple ]
000 -CABECERA | |
---|---|
Campo de control de longitud fija | 00855 a a2200229 04500 |
001 - NÚMERO DE CONTROL | |
Campo de control | 13051 |
008 - CAMPO FIJO DE DESCRIPCIÓN FIJA--INFORMACIÓN GENERAL | |
Campo de control de longitud fija | 160608b xxu||||| |||| 00| 0 spa d |
020 ## - ISBN (INTERNATIONAL STANDARD BOOK NUMBER) | |
ISBN | 9783540719403 |
082 0# - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY | |
Número de clasificación Decimal | 005.133 |
Número de documento (Cutter) | A551 |
245 0# - TÍTULO PROPIAMENTE DICHO | |
Título | All about Maude: a high-performance logical framework: |
Parte restante del título | how to specify, program, and verify systems in rewriting logic / |
Mención de responsabilidad, etc. | Manuel Clavel ... [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. | 2007 |
300 4# - DESCRIPCIÓN FÍSICA | |
Extensión | 794 p. |
490 ## - MENCIÓN DE SERIE | |
Mención de serie | Lecture notes in computer science; |
Número de volumen/designación secuencial | 4350 |
500 4# - NOTA GENERAL | |
Nota general | Incluye 1 CD |
504 4# - NOTA DE BIBLIOGRAFÍA, ETC. | |
Bibliografía, etc. | Incluye bibliografía e índice p. 757 |
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 |
650 ## - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
9 (RLIN) | 26689 |
Nombre de materia o nombre geográfico como elemento de entrada | PROCESO MENTAL DE LA INFORMACIÓN |
650 ## - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
9 (RLIN) | 484 |
Nombre de materia o nombre geográfico como elemento de entrada | LENGUAJE DE PROGRAMACIÓN |
700 40 - ENCABEZAMIENTO SECUNDARIO--NOMBRE PERSONAL | |
Nombre de persona | Clavel, Manuel |
9 (RLIN) | 30233 |
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 | Renovaciones 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 | 2008-12-02 | PoBox | Compra | 304294.00 | Ej. 1 | 18 | 20 | 005.133 A551 | 018926 | 2019-12-04 | 2019-11-22 | 1 | 56540.57 | LIBRO - MATERIAL GENERAL | Ingenieria Sistemas | ||||
Préstamo Normal | Colección / Fondo / Acervo / Resguardo | Biblioteca Jorge Álvarez Lleras | Biblioteca Jorge Álvarez Lleras | 2008-12-02 | PoBox | Compra | 304294.00 | Ej. 1 | 005.133 A551 | 018926DC | 2015-05-26 | 1 | 56540.57 | LIBRO - MATERIAL GENERAL | Ingenieria Sistemas |