Recent Trends in Data Type Specification

Recent Trends in Data Type Specification
Author: Magne Haveraaen
Publisher: Springer Science & Business Media
Total Pages: 568
Release: 1996-09-04
Genre: Computers
ISBN: 9783540616290


Download Recent Trends in Data Type Specification Book in PDF, Epub and Kindle

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
Language: en
Pages: 568
Authors: Magne Haveraaen
Categories: Computers
Type: BOOK - Published: 1996-09-04 - Publisher: Springer Science & Business Media

GET 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

GET 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

GET 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

GET 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

GET 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