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
Ehrig, Hartmut; Orejas, Fernando
ISBN 10: 3540578676 ISBN 13: 9783540578673
Verlag: Springer, 1994
Gebraucht
Softcover
Verkäufer
GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 6. April 2009
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
Unread book in perfect condition. Bestandsnummer des Verkäufers 5906042
Inhaltsangabe:
Research in the area of abstract data types started about 20 years ago. Since then there has been continuous activity with strong influence both on the applications and the theoretical foundations of methodologies for software design. The Ninth Workshop on Specification of Abstract Data Types was held jointly with the Fourth COMPASS Workshop in Spain in 1992.
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Bibliografische Details
Titel: Recent Trends in Data Type Specification : ...
Verlag: Springer
Erscheinungsdatum: 1994
Einband: Softcover
Zustand: As New