skip to content
Recent Trends in Data Type Specification : 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19-23, 1995 Selected Papers Preview this item
ClosePreview this item

Recent Trends in Data Type Specification : 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19-23, 1995 Selected Papers

Author: Magne Haveraaen; Olaf Owe; Ole-Johan Dahl
Publisher: Berlin, Heidelberg : Springer-Verlag, 1996.
Series: Lecture notes in computer science, 1130.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:
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  Read more...
Getting this item's online copy... Getting this item's online copy...

Find a copy in the library

Getting this item's location and availability... Getting this item's location and availability...

WorldCat

Find it in libraries globally
Worldwide libraries own this item

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
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
(DLC) 96036459
(OCoLC)35325314
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Magne Haveraaen; Olaf Owe; Ole-Johan Dahl
ISBN: 9783540706427 3540706429
OCLC Number: 827359544
Description: 1 online resource : v.: digital.
Series Title: Lecture notes in computer science, 1130.
Responsibility: edited by Magne Haveraaen, Olaf Owe, Ole-Johan Dahl.

Abstract:

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 Retrieving notes about this item

Reviews

User-contributed reviews

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.