direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Algebraic implementation of abstract data types: Concept, Syntax, Semantics, and Correctness.
Zitatschlüssel EKP80a
Autor Ehrig, H. and Kreowski, H.-J. and Padawitz, P.
Buchtitel Proc. ICALP'80
Seiten 142–156
Jahr 1980
Jahrgang 85
Verlag SPRINGER
Serie LNCS
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe