Name: recent trends in data type specification
Price: 124.14 NZD
Availability: InStock
ISBN: 9783540591320

Select your country

Americas

Europe

Rest of the world

portada recent trends in data type specification

Type

Physical Book

Publisher

Springer

Language

English

Pages

523

ISBN

354059132X

ISBN13

9783540591320

Synopsis "recent trends in data type specification"

this volume comprises the invited surveys and revised versions of the submitted papers selected for presentation at the 10th workshop on specification of abstract data types, held jointly with the 4th compass workshop in s. margherita, italy in june 1994.the volume gives a comprehensive state-of-the-art report of the research activities: besides classical algebraic techniques, other relevant topics are investigated, such as formalisms based on general logics and category theory, type systems for specification languages and new structures for modelling dynamic systems. in addition to four surveys by prominent leaders in the area and 23 papers presenting original research, the book contains an annotated bibliography covering all contributions to the ten editions of the workshop.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews