Imagen de Google Jackets
Imagen de OpenLibrary

Diseño de programas : Formalismo y Abstracción/ Peña Marí, Ricardo

Por: Tipo de material: TextoTextoIdioma: Español Detalles de publicación: Madrid: Pearson, 2005Edición: 3ra. EdDescripción: XIX, 466 P. : Ilustraciones; 24 cmISBN:
  • 8420541915
Tema(s): Clasificación CDD:
  • 3ra. Ed. 005.3 P42
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
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título. Ingresar para agregar etiquetas.
Valoración
    Valoración media: 0.0 (0 votos)
Existencias
Tipo de ítem Biblioteca actual Signatura topográfica Copia número Estado Fecha de vencimiento Código de barras
1. LIBROS 1. LIBROS Biblioteca Especializada de la Escuela de Post Grado 005.3/ P42 - 2005 (Navegar estantería(Abre debajo)) Ej. 1 Disponible EPG0162

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.

para colocar un comentario.