ENGLISH

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

By Olaf Owe , Bernd Krieg-Brückner (auth.) , Magne Haveraaen , Ole-Johan Dahl (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1996
ISBN
3540616292, 9783540616290
DOI
10.1007/3-540-61629-2
LCC
QA76.9.A23 W67 1995
Open Library ID
OL9061941M
Language
english
Format
DJVU
Filesize
5 MB (4969926 bytes)
Series
Lecture Notes in Computer Science 1130
Edition
1
Pages
558\560
Library
Kolxo3
DPI
300
Time added
2011-01-06 10:13:16
CompilersInterpretersSoftware Engineering; Programming Languages

Description

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.

Similar books