direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Keywords in Context: An Algebraic Specification
Zitatschlüssel EK81
Autor Ehrig, H. and Kreowski, H.-J.
Buchtitel Proc. Workshop on Program Specification, Aarhus, Denmark
Seiten 78–83
Jahr 1981
Jahrgang 134
Verlag SPRINGER
Serie LNCS
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe