Overview

The algebraic specification of abstract data types is now awell establishedresearch topic in computer science. Thisarea influences both applications and theoreticalfoundations of methodologies which support the design andformal development of reliable software. The Seventh Workshop on Specification of Abstract Data Typestook place in Wusterhausen/Dosse, April17-20, 1990, and wasorganized in cooperation with the ESPRIT Basic ResearchWorking Group COMPASS. The main topics covered by theworkshop were:- Modularization- Object orientation- Higher-order types anddependent types- Inductive completion- Algebraic high-level nets.

Full Product Details

Author:   Hartmut Ehrig ,  Klaus P. Jantke ,  Fernando Orejas ,  Horst Reichel
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   1991 ed.
Volume:   534
Dimensions:   Width: 15.50cm , Height: 2.00cm , Length: 23.30cm
Weight:   1.220kg
ISBN:  

9783540544968

ISBN 10:   3540544968
Pages:   384
Publication Date:   11 September 1991
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions