The deductive foundations of computer programming / (Registro nro. 918845)
[ vista simple ]
| 000 -CABECERA | |
|---|---|
| Longitud fija campo de control | 00838nam a2200253 a 4500 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL | |
| Identificador del número de control | OSt |
| 008 - CÓDIGOS DE INFORMACIÓN DE LONGITUD FIJA | |
| Códigos de información de longitud fija | 940208s1993 us 000 eng |
| 020 ## - NÚMERO INTERNACIONAL NORMALIZADO PARA LIBROS | |
| Número Internacional Normalizado para Libros (ISBN) | 0-201-54886-0 |
| 040 ## - FUENTE DE LA CATALOGACIÓN | |
| Centro catalogador | UCA |
| Centro transcriptor | UCA |
| 100 1# - PUNTO DE ACCESO PRINCIPAL-NOMBRE DE PERSONA | |
| Nombre de persona | Manna, Zohar |
| 245 14 - MENCIÓN DE TÍTULO | |
| Título | The deductive foundations of computer programming / |
| Mención de responsabilidad, etc. | Zohar Manna, Richard Waldinger |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. (PIE DE IMPRENTA) | |
| Lugar de publicación, distribución, etc. | Reading, Massachusetts [etc.] : |
| Nombre del editor, distribuidor, etc. | Addison-Wesley, |
| Fecha de publicación, distribución, etc. | cop. 1993 |
| 300 ## - DESCRIPCIÓN FÍSICA | |
| Extensión | XIV, 717 p. |
| 490 00 - MENCIÓN DE SERIE | |
| Mención de serie | Artificial intelligence. |
| Nombre de parte o sección de la obra | Software engineering |
| 500 ## - NOTA GENERAL | |
| Nota general | Es una versión del vol. 1 de "The logical basis for computer programming" |
| 650 04 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento inicial | Programación de ordenadores |
| 9 (RLIN) | 1943 |
| 650 04 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento inicial | Lógica, simbólica y matemática |
| 700 1# - PUNTO DE ACCESO ADICIONAL - NOMBRE DE PERSONA | |
| Nombre de persona | Waldinger, Richard |
| 902 ## - NOMBRE PERSONAL DE ENCUADERNADOR | |
| Nombre de persona | 161220 |
| 909 ## - No. registro Millennium | |
| -- | esi |
| -- | o |
| 942 ## - ENTRADA DE ELEMENTOS AGREGADOS (KOHA) | |
| Suprimir del OPAC | No |
| 998 ## - CONTROL LOCAL DE INFORMACIÓN (RLIN) | |
| Iniciales de operador, IOP (RLIN) | 1 |
| Iniciales de catalogador, INC (RLIN) | 990809 |
| Primera fecha, PF (RLIN) | m |
| -- | a |
| -- | o |
| -- | 4 |
| 907 00 - CÓDIGO DE CATALOGADOR | |
| Catalogador/a | ac |
| Retirado | Motivo Retirado | No para préstamo | Localización permanente | Fecha adquisición | Tipo de adquisición | Número de inventario | Préstamos totales | Renovaciones totales | Signatura completa | Código de barras | Fecha última consulta | Fecha último préstamo | Tipo de ítem | Nota pública |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 03. BIBLIOTECA INGENIERÍA PUERTO REAL | 21/02/2017 | Compra | 8327 | 3 | 10 | Depósito-681.3.06/MAN/ded | 370074907X | 21/02/2017 | 30/01/2004 | Monografías | PREST. LIBROS |