Data Structures

Formal specification of abstract data types using an object-oriented language with examples of their uses in computer science: records, stacks,queues, linked lists, hash table, heaps, and trees.