Especificaciones de los tipos abstractos de datos. Presentación. Introducción a los tipos abstractos de datos. Modelo de un tipo abstracto de datos. Construcción sistemática de especificaciones. Ecuaciones condicionales. Estudio de casos. Estructuración de especificaciones. Ejecución de especificaciones. Ejercicios. Implementación de tipos abstractos de datos. Presentación. El lenguaje de implementación. Corrección de una implementación. Estudio de la eficiencia de las implementaciones. Conflicto entre eficiencia y modularidad. Ejercicios. Secuencias. Presentación. Pilas. Colas.Listas. Ejercicios. Árboles. Presentación. Modelo y especificación. Implementación. Recorridos. Colas prioritarias. Ejercicios. Tablas. Presentación. Especificación. Implementación. Funciones de dispersión. Organizaciones de las tablas de dispersión. Árboles binarios de búsqueda. Árboles AVL. Ejercicios. Relaciones binarias y grafos. Presentación. Relaciones binarias. Relaciones de equivalencia. Grafos. Recorridos de grafos. Búsqueda de caminos mínimos. Árboles de expansión minimales. Ejercicios. Uso y diseño de tipos de datos. Presentación. Uso de tipos de datos existentes. Diseño de nuevos tipos de datos. Ejercicios.
Otros clientes que compraron Estructuras de datos. Especificación, diseño e implementación, también compraron:
