Recent Trends in Data Type Specification

Recent Trends in Data Type Specification
Author :
Publisher : Springer Science & Business Media
Total Pages : 568
Release :
ISBN-10 : 3540616292
ISBN-13 : 9783540616290
Rating : 4/5 (290 Downloads)

Book Synopsis Recent Trends in Data Type Specification by : Magne Haveraaen

Download or read book Recent Trends in Data Type Specification written by Magne Haveraaen and published by Springer Science & Business Media. This book was released on 1996-09-04 with total page 568 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Recent Trends in Data Type Specification Related Books

Recent Trends in Data Type Specification
Language: en
Pages: 568
Authors: Magne Haveraaen
Categories: Computers
Type: BOOK - Published: 1996-09-04 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book contains a strictly refereed selection of revised full papers chosen from the papers accepted for presentation during the 11th Workshop on Abstract Da
Recent Trends in Data Type Specification
Language: en
Pages: 360
Authors: Michel Bidoit
Categories: Computers
Type: BOOK - Published: 1993-01-29 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The algebraic specification of abstract data types has been a flourishing research topic in computer science since 1974. The main goal of this work isto evolve
Recent Trends in Data Type Specification
Language: en
Pages: 396
Authors: Hartmut Ehrig
Categories: Computers
Type: BOOK - Published: 1991-09-11 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The algebraic specification of abstract data types is now a well establishedresearch topic in computer science. This area influences both applications and theor
Recent Trends in Data Type Specification
Language: en
Pages: 262
Authors: Hans-Jörg Kreowski
Categories: Computers
Type: BOOK - Published: 2013-06-29 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Recent Trends in Data Type Specification
Language: en
Pages: 280
Authors: Donald Sannella
Categories: Computers
Type: BOOK - Published: 1988-10-26 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The Fifth Workshop on Specification of Abstract Data Types took place 1-4 September 1987 in Gullane, near Edinburgh. This book contains papers based on selected