Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26 - 30, 1991...

Bibliographische Detailangaben

Titel

Recent trends in data type specification 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26 - 30, 1991 ; selected papers

verantwortlich

Bidoit, Michel (HerausgeberIn); Europäische Kommission Europäisches Strategisches Programm für Forschung und Entwicklung auf dem Gebiet der Informationstechnologie Working Group Comprehensive Algebraic Approach to System Specification and Development (Sonstige); Workshop on Specification of Abstract Data Types (Sonstige); COMPASS (Sonstige)

Schriftenreihe

Lecture notes in computer science ; 655

veröffentlicht

Berlin, Heidelberg [u.a.]: Springer, 1993

Erscheinungsjahr

1993

Teil von

Lecture notes in computer science ; 655

Erscheint auch als

Bidoit, Michel, Recent Trends in Data Type Specification, Berlin, Heidelberg : Springer Berlin Heidelberg, 1993, Online-Ressource

Online-Ausg.

Recent trends in data type specification, Berlin [u.a.] : Springer, 1993, Online-Ressource (X, 344 S.)

Medientyp

Buch Konferenzbericht

Datenquelle

K10plus Verbundkatalog

Tags

Tag hinzufügen