Formal development of programs and proofs / (Registro nro. 35211)

000 -CABECERA
campo de control de longitud fija 00862cam a22002774a 4500
001 - NÚMERO DE CONTROL
campo de control 4815763
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL
campo de control AR-RgUNPA
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
campo de control 20240710121551.0
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija 100724s1990 maua b 101 0 eng
010 ## - NÚMERO DE CONTROL DE LA BIBLIOTECA DEL CONGRESO
Número de control de LC 89000102
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
Número Internacional Estándar del Libro 0201172372
040 ## - FUENTE DE LA CATALOGACIÓN
Centro catalogador/agencia de origen SIUNPA
Centro/agencia transcriptor SIUPA
Centro/agencia modificador eng
050 00 - SIGNATURA TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO
Número de clasificación QA76.6
Número de documento/Ítem .F657 1990
080 ## - NÚMERO DE LA CLASIFICACIÓN DECIMAL UNIVERSAL
Número de la Clasificación Decimal Universal 004.42 F723f
245 00 - MENCIÓN DE TÍTULO
Título Formal development of programs and proofs /
Mención de responsabilidad, etc. edited by Edsger W. Dijkstra
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC.
Lugar de publicación, distribución, etc. Reading, Mass.
Nombre del editor, distribuidor, etc. Addison-Wesley,
Fecha de publicación, distribución, etc. c1990
300 ## - DESCRIPCIÓN FÍSICA
Extensión xiv, 242 p. :
Otras características físicas il.
490 ## - MENCIÓN DE SERIE
Mención de serie (The UT year of programming series)
504 ## - NOTA DE BIBLIOGRAFÍA, ETC.
Nota de bibliografía, etc. Includes bibliographical references.
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada INFORMATICA
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada PROGRAMACION DE COMPUTADORA
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada ALGORITMOS
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Dijkstra, Edsger Wybe
Término indicativo de función/relación editor
830 ## - PUNTO DE ACCESO ADICIONAL DE SERIE-TÍTULO UNIFORME
9 (RLIN) 865
Título uniforme The UT year of programming series (Addison-Wesley)
942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA)
Fuente del sistema de clasificación o colocación
Tipo de ítem Koha Libros
Existencias
Estado de retiro Estado de pérdida Fuente del sistema de clasificación o colocación Estado dañado No para préstamo Código de colección Localización permanente Ubicación/localización actual Fecha de adquisición Fuente de adquisición Coste, precio normal de compra Número de inventario Signatura topográfica completa Código de barras Fecha visto por última vez Precio válido a partir de Tipo de ítem Koha
          Colección General SIUNPA Biblioteca Académica UACO 2024-07-10 FOMEC/97 35000.00 02-08090 004.42 F723f 02-08090 2024-07-10 2024-07-10 Libros