direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Towards Abstract User Interfaces for Formal System Specifications
Zitatschlüssel EFH85
Autor Ehrig, H. and Fey, W. and Hansen, H.
Buchtitel Recent Trends in Data Type Specification, Informatik Fachberichte 116
Seiten 73–88
Jahr 1985
Verlag SPRINGER
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe