Refinement calculus: (Record no. 11058)

000 -CABECERA
Campo de control de longitud fija 00813aam a2200253 a 4500
001 - NÚMERO DE CONTROL
Campo de control 12371
003 - IDENTIFICADOR DE NÚMERO DE CONTROL
Campo de control CoBo-ECI
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
Campo de control 20160916103530.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 150723b xxu||||| |||| 00| 0 eng d
020 ## - ISBN (INTERNATIONAL STANDARD BOOK NUMBER)
ISBN 0387984178
082 0# - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY
Número de clasificación Decimal 005.14
Número de documento (Cutter) B124r
100 40 - ENCABEZAMIENTO PRINCIPAL--NOMBRE PERSONAL
Nombre de persona Back, Ralph-Johan
9 (RLIN) 16032
245 0# - TÍTULO PROPIAMENTE DICHO
Título Refinement calculus:
Parte restante del título a systematic Introduction/
Mención de responsabilidad, etc. Ralph-Johan Back and Joakim von Wright
260 4# - PUBLICACIÓN, DISTRIBUCIÓN, ETC (PIE DE IMPRENTA)
Lugar de publicación, distribución, etc. New York:
Nombre del editor, distribuidor, etc. Springer
Fecha de publicación, distribución, etc. 1998
300 4# - DESCRIPCIÓN FÍSICA
Extensión 519 p.
490 ## - MENCIÓN DE SERIE
Mención de serie Graduate Texts in Computer Science
504 4# - NOTA DE BIBLIOGRAFÍA, ETC.
Bibliografía, etc. Incluye bibliografía e índice p. 501
650 ## - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA
9 (RLIN) 69
Nombre de materia o nombre geográfico como elemento de entrada CALCULO
650 ## - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA
9 (RLIN) 2217
Nombre de materia o nombre geográfico como elemento de entrada PROGRAMACIÓN (COMPUTADORES ELECTRÓNICOS)
Subdivisión general PROGRAMACION
700 1# - ENCABEZAMIENTO SECUNDARIO--NOMBRE PERSONAL
Nombre de persona Wright, Joakim von
9 (RLIN) 16034
942 ## - ELEMENTOS KOHA
Fuente de clasificación o esquema de ordenación en estanterías
Koha tipo de item LIBRO - MATERIAL GENERAL
Holdings
Disponibilidad Mostrar en OPAC Fuente de clasificación o esquema Tipo de Descarte Restricciones de uso Estado Código de colección Localización permanente Localización actual Fecha adquisición 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
            Colección / Fondo / Acervo / Resguardo Biblioteca Jorge Álvarez Lleras Biblioteca Jorge Álvarez Lleras 2007-10-03 Ej. 1   005.14 B124r 017981 2015-05-26 1 56540.57 LIBRO - MATERIAL GENERAL Ingenieria Sistemas