Getting this item's online copy...
Find a copy in the library
Getting this item's location and availability...
Find it in libraries globally
Conference papers and proceedings
|Additional Physical Format:||Print version:
Workshop on Specification of Abstract Data Types (11th : 1995 : Oslo, Norway).
Recent Trends in Data Type Specification.
Berlin, Heidelberg : Springer-Verlag, 1996
|Material Type:||Conference publication, Document, Internet resource|
|Document Type:||Internet Resource, Computer File|
|All Authors / Contributors:||
Magne Haveraaen; Olaf Owe; Ole-Johan Dahl
|Description:||1 online resource : v.: digital.|
|Series Title:||Lecture notes in computer science, 1130.|
|Responsibility:||edited by Magne Haveraaen, Olaf Owe, Ole-Johan Dahl.|
This book contains a strictly refereed selection of revised full papers chosen from the papers accepted for presentation during the 11th Workshop on Abstract Data Types held jointly with the 8th COMPASS Workshop in Oslo, Norway, in September 1995. The 25 research papers included were chosen from 57 pre-selected workshop presentations; also included are six invited contributions. The volume reports the progress achieved in the area of algebraic specification since the predecessor meeting held in May 1994.
Retrieving notes about this item