Abstract Data Types: Their Specification, Representation, and Use (Oxford Applied Mathematics and Computing Science Series)

Type

Book

Authors

Pete Thomas

Hugh Robinson

Judy Emms

ISBN 10

0198596634

ISBN 13

9780198596639

Tags

Development & Growth, Data Modeling & Design, Data Structures, Linguistics, Mathematics, Business Development, Computer Science

Description

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. - from Amzon

Number of Copies