Recent Types in Data Type Specification - 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992 - Selected Papers - Paperback - 1994
Resumo
The main topics covered by this volume include object-oriented specifications, rewriting methods, specification languages and associated tools, type systems and the algebraic specification of concurrency.
Year of publication: 1994
Pagination: 356 pages, biography
Format: Paperback
Serie: Lecture Notes in Computer Science
Editor: Fernando Orejas, Hartmut Ehrig
Year of publication: 1994
Pagination: 356 pages, biography
Format: Paperback
Serie: Lecture Notes in Computer Science
Editor: Fernando Orejas, Hartmut Ehrig
Recent Types in Data Type Specification - 9th Workshop on...
Resumo
The main topics covered by this volume include object-oriented specifications, rewriting methods, specification languages and associated tools, type systems and the algebraic specification of concurrency.
Year of publication: 1994
Pagination: 356 pages, biography
Format: Paperback
Serie: Lecture Notes in Computer Science
Editor: Fernando Orejas, Hartmut Ehrig
Year of publication: 1994
Pagination: 356 pages, biography
Format: Paperback
Serie: Lecture Notes in Computer Science
Editor: Fernando Orejas, Hartmut Ehrig
Publicidade
Avaliações dos nossos clientes
Recent Types in Data Type Specification - 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992 - Selected Papers - Paperback - 1994
Sê o primeiro a dar
a tua opinião sobre este produto
Características
- Editora
-
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Dimensão
-
234 x 156 x 19
- Peso
-
1130
- Tema
-
Computer programming / software development
- Origem
-
Germany
- EAN
-
9783540578673
Publicidade
Publicidade