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 |