Diseño de Programas: Formalismo y Abstracción / Ricardo Peña Marí [Impreso]
Por: Peña Marí, Ricardo [Autor].
Tipo de material:
TextoMadrid - España: Pearson Educación, 2005Edición: Tercera edición.Descripción: [xx], 466 páginas : Ilustraciones, figuras ; 17.2 x 24 centímetros.ISBN: 8420541915.Tema(s): PROGRAMACIÓN DE ORDENADORES
| PROGRAMACIÓN LÓGICA | PROGRAMAS Y SISTEMAS DE PROGRAMACIÓN | EspañaClasificación CDD: 005.133 Resumen: 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.
| Tipo de ítem | Ubicación actual | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
|---|---|---|---|---|---|---|---|
Libros
|
Biblioteca Central - Sala General | 005.133 / P42 (Navegar estantería) | 1 | Disponible | SK01SGL09269 | ||
|
Libros
|
Biblioteca Central - Sala General | 005.133 / P42 (Navegar estantería) | 2 | Disponible | SK01SGL09268 | ||
|
Libros
|
Biblioteca Central - Sala General | 005.133 / P42 (Navegar estantería) | 3 | Disponible | SK01SGL09267 | ||
|
Libros
|
Biblioteca Central - Sala General | 005.133 / P42 (Navegar estantería) | 4 | Disponible | SK01SGL09266 | ||
|
Libros
|
Biblioteca Central - Sala General | 005.133 / P42 (Navegar estantería) | 5 | Disponible | SK01SGL09265 | ||
|
Libros
|
Biblioteca Central - Sala General | 005.133 / P42 (Navegar estantería) | 6 | Disponible | SK01SGL09264 |
Total de reservas: 0
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.
Texto en español
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
No hay comentarios para este ejemplar.