direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Parameterized data types in algebraic specification languages
Zitatschlüssel EKTWW80
Autor Ehrig, H. and Kreowski, H.-J. and Thatcher, J.W. and Wagner, E.G. and Wright, J.B.
Buchtitel Proc. ICALP '80
Seiten 157–168
Jahr 1980
Jahrgang 85
Verlag SPRINGER
Serie LNCS
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe