Recent Trends 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 - Lecture Notes in Computer Science 785 (Paperback)Hartmut Ehrig (editor), Fernando Orejas (editor)
- We can order this
The main topics covered were: object-oriented specifications, rewriting methods, specification languages and associated tools, type systems, and algebraic specification of concurrency. This volumes contains four invited papers presented at the workshop together with the final versions of 17 contributed papers selected after a careful refereeing process from 46 submissions.
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 356
Weight: 1130 g
Dimensions: 235 x 155 x 19 mm
Edition: 1994 ed.