Diseño de Programas: Formalismo y Abstracción / Ricardo Peña Marí [Impreso]
Por: Peña Marí, Ricardo (Catedrático) [Autor].
Tipo de material:
TextoMadrid - España: Pearson Educación, 2005Edición: Tercera edición.Descripción: xix, 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: 003.0151 Resumen: Presenta una amplia variedad de técnicas de programación, tales como el diseño y la verificación de programas recursivos, la formal de programas iterativos y la especificación algebraica de tipos abstractos de datos.
| Tipo de ítem | Ubicación actual | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
|---|---|---|---|---|---|---|---|
Libros
|
BIB Especializada de EAP de Ingeniería Informática y Sistemas | 003.0151 / P42 (Navegar estantería) | 1 | Disponible | SK07SEL00024 | ||
|
Libros
|
BIB Especializada de EAP de Ingeniería Informática y Sistemas | 003.0151 / P42 (Navegar estantería) | 2 | Disponible | SK07SEL00025 | ||
|
Libros
|
BIB Especializada de EAP de Ingeniería Informática y Sistemas | 003.0151 / P42 (Navegar estantería) | 3 | Disponible | SK07SEL00026 |
Total de reservas: 0
Sala especializada / a domicilio
Presenta una amplia variedad de técnicas de programación, tales como el diseño y la verificación de programas recursivos, la formal de programas iterativos y la especificación algebraica de tipos abstractos de datos.
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.