Imagen de cubierta local
Imagen de cubierta local
Imagen de cubierta local
Imagen de cubierta local
Imagen de cubierta local
Imagen de cubierta local
Imagen de cubierta local
Imagen de cubierta local
Imagen de cubierta local
Imagen de cubierta local
Imagen de cubierta local
Imagen de cubierta local
Imagen de OpenLibrary
Diseño de Programas: Formalismo y Abstracción / Ricardo Peña Marí [Impreso]
Tipo de material:
TextoIdioma: Español Madrid - España: Pearson Educación, 2005Edición: Tercera ediciónDescripción: [xx], 466 páginas : Ilustraciones, figuras ; 17.2 x 24 centímetrosISBN: - 8420541915
- 005.133 P42
| Tipo de ítem | Biblioteca actual | Signatura topográfica | Copia número | Estado | Código de barras | |
|---|---|---|---|---|---|---|
Libros
|
Biblioteca Central - Sala General | 005.133 / P42 (Navegar estantería(Abre debajo)) | 2 | Disponible | SK01SGL09268 | |
|
Libros
|
Biblioteca Central - Sala General | 005.133 / P42 (Navegar estantería(Abre debajo)) | 5 | Disponible | SK01SGL09265 | |
|
Libros
|
Biblioteca Central - Sala General | 005.133 / P42 (Navegar estantería(Abre debajo)) | 6 | Disponible | SK01SGL09264 | |
|
Libros
|
Biblioteca Central - Sala General | 005.133 / P42 (Navegar estantería(Abre debajo)) | 1 | Disponible | SK01SGL09269 | |
|
Libros
|
Biblioteca Central - Sala General | 005.133 / P42 (Navegar estantería(Abre debajo)) | 3 | Disponible | SK01SGL09267 | |
|
Libros
|
Biblioteca Central - Sala General | 005.133 / P42 (Navegar estantería(Abre debajo)) | 4 | Disponible | SK01SGL09266 |
Navegando Biblioteca Central - Sala General estanterías Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
| 005.133 / P42 Diseño de Programas: [Impreso] Formalismo y Abstracción / | 005.133 / P42 Diseño de Programas: [Impreso] Formalismo y Abstracción / | 005.133 / P42 Diseño de Programas: [Impreso] Formalismo y Abstracción / | 005.133 / P42 Diseño de Programas: [Impreso] Formalismo y Abstracción / | 005.133 / P42 Diseño de Programas: [Impreso] Formalismo y Abstracción / | 005.133 / S17 Programas Básicos de: [Impreso] Visual Basic 6.0 / | 005.133 / U Lenguaje de Programación III / [Impreso] |
Bibliografía de la página 453 - 459 / Incluye índice analítico
Sala general / a domicilio
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.
E.A.P. Ingeniería Informática y Sistemas
Texto en español
Para corregir/ actualización código Dewey de 005.12 a 005.133
No hay comentarios en este titulo.
Iniciar sesión para colocar un comentario.
Haga clic en una imagen para verla en el visor de imágenes
Av. Garcilazo S/N. Tamburco-Abancay-Apurímac-Perú
(51) 083-321945
bibliotecacentral@unamba.edu.pe