Recent Trends in Data Type Specification (Paperback)

Magne Haveraaen

ISBN 10: 3540616292 / ISBN 13: 9783540616290

Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1996

About this Item

Paperback. 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. 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; Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

Seller Inventory # 9783540616290

Bibliographic Details

• Title: Recent Trends in Data Type Specification (Paperback)
• Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin
• Publication Date: 1996
• Language: English
• ISBN 10: 3540616292
• ISBN 13: 9783540616290
• Binding: Paperback
• Condition: new

About this title

Synopsis

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.