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 / P439d | Item 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 |
Browsing Biblioteca Central Shelves Close shelf browser
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.