Diseño de programas formulismo y abstracción / Ricardo Peña Marí
By: Peña Marí, Ricardo.
Madrid : Pearson Educación, 2005 Edition: 3a. ed.Description: xix, 466 p. : il., 24 cm. + 1 CD ROM.ISBN: 84-205-4191-5.Subject(s): Programación (computadores) -- diseño | Lenguaje de programacion (computadores)DDC classification: 005.12 / P439dItem type | Current location | Collection | Call number | Vol info | Copy number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|---|---|
CD Texto (Eliminar) | Biblioteca Central | FONDO BIBL | 005.12 / P439d (Browse shelf) | 8000 | 4 | Available | 8000017840 | |||
CD Texto (Eliminar) | Biblioteca Central | FONDO BIBL | 005.12 / P439d (Browse shelf) | 8000 | 5 | Available | 8000017847 | |||
Libros | Biblioteca Central | FONDO BIBL | 005.12 / P439d (Browse shelf) | 8001 | 1 | Available | CO | 8000014638 | ||
Libros | Biblioteca Central | FONDO BIBL | 005.12 / P439d (Browse shelf) | 8001 | 2 | Available | CO | 8000014639 | ||
Libros | Biblioteca Central | FONDO BIBL | 005.12 / P439d (Browse shelf) | 8001 | 3 | Available | CO | 8000014640 |
Prólogo -- La eficiencia de los algoritmos -- Medidas asintóticas -- Ordenes de complejidad -- Reglas
prácticas para el cálculo de la eficiencia -- Especificación de problemas -- Lógica de predicados --
Especificación con predicados -- Diseño recursivo -- Inducción noetheriana -- diseño y verificación de
programas recursivos -- Diseño iterativo -- Semántica de un lenguaje imperativo -- Tipos abstractos de datos
-- Programación con Tipos abstractos de datos -- Especificación algebraica de Tipos abastractos -- estructuras
lineales de datos -- Notación algorítmica para módulos y memoria dinámica -- Arboles -- Tablas y Grafos --
Bibliografía --
El CD ROM se puede visualizar en la Biblioteca Electrónica
Incluye referencias bibliográficas e índice
There are no comments for this item.