direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Parameter Passing in Algebraic Specification Languages
Zitatschlüssel EKT+81
Autor H. Ehrig and H. J. Kreowski and J. W. Thatcher and E. G. Wagner and J. B. Wright
Buchtitel Workshop on Program Specification, Aarhus
Seiten 322-369
Jahr 1981
Jahrgang 134
Notiz Also appeared in TCS 28 (1984), pp.\ 45–81.
Verlag SPRINGER
Serie LNCS
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe