Diseño de programas : Formalismo y Abstracción/ Peña Marí, Ricardo
Tipo de material:
TextoIdioma: Español Detalles de publicación: Madrid: Pearson, 2005Edición: 3ra. EdDescripción: XIX, 466 P. : Ilustraciones; 24 cmISBN: 8420541915Tema(s): Diseño de Programas | Algoritmos | ESTRUCTURA DE DATOSClasificación CDD: 005.3
Contenidos:
--1. La eficiencia de los algoritmos -- Órdenes de complejidad --Reglas prácticas para el cálculo de la eficiencia -- 2. Especificación de problemas -- Lógica de predicados -- Problemas adicionales -- 3. Diseño recursivo -- Conceptos básicos, terminología y notación -- 4. Diseño iterativo -- Semántica de un lenguaje imperativo -- Derivación formal de programas imperativos -- 5.Tipos abstractos de datos -- Concepto terminología y ejemplos -- Construcción de especificaciones -- Extensiones al modelo básico -- 6. Estructuras lineales de datos -- Pilas -- Colas -- Dobles colas -- Listas -- 7. Árboles -- Arboles n-arias y binarios -- Colas de prioridad y montículos -- 8. Tablas y grafos.-- Tablas y conjuntos
| Tipo de ítem | Biblioteca actual | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|
Libros
|
Biblioteca Especializada de la Escuela de Post Grado | 005.3/ P42 - 2005 (Navegar estantería(Abre debajo)) | Ej. 1 | Disponible | EPG0162 |
Navegando Biblioteca Especializada de la Escuela de Post Grado Estantes Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
| No hay imagen de cubierta disponible | No hay imagen de cubierta disponible | No hay imagen de cubierta disponible | ||||||
| 005.16 /P52-2001 Mantenimiento del software: Modelos, técnicas y métodos para la gestión del cambio/ | 005.22/G17 - 2003 Patrones de Diseño:Elementos de software orientado a Objetos Reutilizable | 005.3/I77 - 2004 Redes de Neuronas Artificiales: un Enfoque Práctico | 005.3/ P42 - 2005 Diseño de programas : Formalismo y Abstracción/ | 005.369/CH545 - 2002 Programación Web: Manual del programador Web / | 005.369/ P45 - 2005 Métodos estadísticos avanzados con SPSS/ | 005.369/ P45 - 2005 Técnicas Estadísticas con spss 12 : Aplicaciones al análisis de datos/ |
CD-ROM
--1. La eficiencia de los algoritmos -- Órdenes de complejidad --Reglas prácticas para el cálculo de la eficiencia -- 2. Especificación de problemas -- Lógica de predicados -- Problemas adicionales -- 3. Diseño recursivo -- Conceptos básicos, terminología y notación -- 4. Diseño iterativo -- Semántica de un lenguaje imperativo -- Derivación formal de programas imperativos -- 5.Tipos abstractos de datos -- Concepto terminología y ejemplos -- Construcción de especificaciones -- Extensiones al modelo básico -- 6. Estructuras lineales de datos -- Pilas -- Colas -- Dobles colas -- Listas -- 7. Árboles -- Arboles n-arias y binarios -- Colas de prioridad y montículos -- 8. Tablas y grafos.-- Tablas y conjuntos
No hay comentarios en este titulo.