direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems
Zitatschlüssel EKMP80
Autor Ehrig, H. and Kreowski, H.-J. and Mahr, B. and Padawitz, P.
Buchtitel Proc. Conf. Math. Foundations of Computer Science, Rydzyna
Seiten 231-245
Jahr 1980
Jahrgang 88
Verlag SPRINGER
Serie LNCS
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe