direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Graphical support and integration of formal and semi-formal methods for software specification and development
Zitatschlüssel REK+93
Autor Ribeiro, L. and Ehrig, H. and Korff, M. and Padberg, J. and Nunes, D. and Bardohl, R. and Castro, P.
Buchtitel Information Technology: Cooperative Research with Industrial Partners between Germany and Brazil
Jahr 1993
Adresse Rio de Janeiro, Brazil
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe