direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Algebraic Specification of Modeules and Modular Software Systems within the Framework of Specification Logics
Zitatschlüssel Ehr89c
Autor Ehrig, H.
Buchtitel Proc. 1st Maghr. Conference on Software Engineering and Artificial Intelligence, Constantine
Seiten 79–92
Jahr 1989
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe