Abstract Data Types: Their Specification, Representation, and Use

By Pete Thomas and Hugh Robinson

This volume introduces abstract data types and their use in software engineering. Designed for self-study, the text offers over 100 exercises with fully worked solutions, and check point questions at critical places for monitoring progress. The authors, who base the text on their course at Open University (U.K.), lead students through designing, constructing, and implementing abstract data types using a number of simple but crucial concepts of software engineering such as stack, queue, and binary search trees. Two specification methods are studied: the axiomatic approach and the constructive approach. Illustrative examples throughout use Modula-2 and Ada, and three case studies are considered in detail.

• Format: Paperback
• Language: English
• ISBN: B0012VY5RK
• ISBN13: 9780198596684
• Release Date: August 1988
• Publisher: Oxford University Press, USA
• Length: 268 Pages
• Weight: 0.85 lbs.
• Dimensions: 0.6" x 5.5" x 8.5"