| 000 -CABECERA |
|---|
| campo de control de longitud fija |
01841nam a22004337a 4500 |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
|---|
| campo de control |
20220404124628.0 |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
181206b sp a|||| |||| 00| 0 spa d |
| 020 ## - ISBN NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
|---|
| Número Internacional Estándar del Libro |
8420541915 |
| 040 ## - FUENTE DE LA CATALOGACIÓN |
|---|
| Centro catalogador/agencia de origen |
UNAMBA |
| Lengua de catalogación |
spa |
| Centro/agencia transcriptor de catalogación |
Biblioteca Central |
| Normas de descripción |
rda |
| 041 ## - CÓDIGO DE LENGUA |
|---|
| Código de lengua del texto/... |
spa |
| 082 ## - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY |
|---|
| Número de clasificación |
005.133 |
| Notación Interna |
P42 |
| N° de Ejemplares |
06 |
| 100 ## - ENTRADA PRINCIPAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Peña Marí, Ricardo |
| Rol |
Autor |
| 245 ## - TITULO PRINCIPAL |
|---|
| Título |
Diseño de Programas: |
| Resto del Título |
Formalismo y Abstracción / |
| Mención de responsabilidad |
Ricardo Peña Marí |
| Medio físico |
[Impreso] |
| 250 ## - MENCIÓN DE EDICIÓN |
|---|
| Mención de edición |
Tercera edición |
| 264 ## - MENCIÓN DE PUBLICACIÓN |
|---|
| Lugar de Publicación |
Madrid - España: |
| EDitorial |
Pearson Educación, |
| Fecha de Publicación |
2005 |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extensión |
[xx], 466 páginas |
| Otras características físicas |
: Ilustraciones, figuras |
| Dimensiones |
; 17.2 x 24 centímetros. |
| 504 ## - NOTA DE BIBLIOGRAFÍA, ETC. |
|---|
| Nota de bibliografía, etc. |
Bibliografía de la página 453 - 459 / Incluye índice analítico |
| 506 ## - NOTA DE CONDICIONES DE CONSULTA / PRÉSTAMO |
|---|
| Alcance de acceso |
Sala general / a domicilio |
| 520 ## - NOTA DE RESUMEN, SUMARIO |
|---|
| Resumen, sumario del texto |
En el libro se describen técnicas tales como el diseño y la verificación de programas recursivos, la derivación formal de programas iterativos y la especificación algebraica de tipos abstractos. |
| 546 ## - NOTA DE LENGUA/LENGUAJE |
|---|
| Nota de lengua/lenguaje |
Texto en español |
| 650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--DESCRIPTORES |
|---|
| 9 (RLIN) |
16905 |
| Término de materia o nombre geográfico como elemento de entrada |
PROGRAMACIÓN DE ORDENADORES |
| 650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--DESCRIPTORES |
|---|
| 9 (RLIN) |
16940 |
| Término de materia o nombre geográfico como elemento de entrada |
PROGRAMACIÓN LÓGICA |
| 650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--DESCRIPTORES |
|---|
| 9 (RLIN) |
17106 |
| Término de materia o nombre geográfico como elemento de entrada |
PROGRAMAS Y SISTEMAS DE PROGRAMACIÓN |
| 651 ## - MENCIÓN ADICIONAL GEOGRÁFICO / PAÍS |
|---|
| Nombre geográfico / País |
España |
| 841 ## - VALORES CODIFICADOS DE LOS FONDOS-CODIGO DE BARRAS |
|---|
| Código del libro en el SIGB KOHA |
SK01SGL09269; SK01SGL09268; SK01SGL09267; SK01SGL09266; SK01SGL09265; SK01SGL09264 |
| 850 ## - BIBLIOTECA PROPIETARIA |
|---|
| Biblioteca Propietaria |
Biblioteca Central |
| Área o unidad subordinada |
Sala General |
| 910 ## - RESPONSABILIDAD SOBRE EL REGISTRO CATALOGADOR |
|---|
| Catalogador / procesado |
<a href="Nélida Elizabeth Gómez Ramos">Nélida Elizabeth Gómez Ramos</a> |
| Fecha de catalogación |
06/12/2018 |
| 942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) |
|---|
| Fuente del sistema de clasificación o colocación |
|
Av. Garcilazo S/N. Tamburco-Abancay-Apurímac-Perú
(51) 083-321945