direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Combining initial and loose algebraic specification methods including compositionality and modules
Zitatschlüssel Ehr84
Autor Ehrig, H.
Buchtitel Proc. Workshop on Formal Software Development, Nyborg
Jahr 1984
Verlag University of Copenhagen
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe