This work is an introduction to abstract data types and their use in software engineering. Abstract data types are used in almost all stages of software development formally to specify and design programmes and to implement software. Based on an Open University course, the textbook is suitable for first and second year undergraduates in computer science coming to the subject for the first time. The authors' aim is to lead the student through designing, constructing and implementing abstract data types using a number of ...
Read More
This work is an introduction to abstract data types and their use in software engineering. Abstract data types are used in almost all stages of software development formally to specify and design programmes and to implement software. Based on an Open University course, the textbook is suitable for first and second year undergraduates in computer science coming to the subject for the first time. The authors' aim is to lead the student through designing, constructing and implementing abstract data types using a number of simple but important concepts of software engineering such as "stack", "queue" and "binary search trees". The two specification methods studied are the axiomatic approach and the constructive approach. Illustrative examples using Modula-2 and Ada and three case studies are considered. The book has been designed as a self-study text; over 100 exercises with fully worked solutions as well as check point questions are provided so that the reader can assess her or his progress.
Read Less
Add this copy of Abstract Data Types: Their Specification, to cart. $20.00, very good condition, Sold by Marsarbooks rated 5.0 out of 5 stars, ships from Cambridge, UNITED KINGDOM, published 1988 by Clarendon Press; Oxford University Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very Good. No dust jacket, as issued. This is the 1990 reprint with correction. Overall as new condition, has "damaged" stamp mark on title page. Oxford applied mathematics and computing science series. Unknown printing. (pbk. ): xii, 256 p. : ill. ; 22 cm. Includes index.
