This text expands the traditional course focus to examine not only   the structure of a data object, but also its type. This broader focus requires a   new paradigm for classifying data types. Within each classification, the   different ADTs are presented using axiomatic specifications. Various   implementation alternatives are discussed for each ADT and algorithms are   written in a pseudo-code based on the Pascal-Modula- 2-Ada model. Next, the   Big-O complexity of each implementation is discussed and each ADT is used in an   application. Classic algorithms provide applications for some of the ADTs;   implementation of a previously defined ADT is the application for others. The   result is a clear, logical presentation that gives students a solid, practical   foundation in current software engineering principles. Applications are included   to demonstrate how the ADTs are used in problem-solving. Proven pedagogical   features such as detailed examples, highlighted definitions, numerous   illustrations, and exercises teach problem-solving skills.

Abstract data types: specifications, implementations, and applications PDF

The list of books you might like