Abstract Data Types: Their Specification, Representation and Use (Applied Mathematics & Computing Science S.)

Descripción:

The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. N° de ref. del artículo GOR001294511

Denunciar este artículo

Sinopsis:

Reseña del editor: 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.