direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Specification Techniques using Dynamic Abstract Data Types and Application to Shipping Software
Zitatschlüssel EB94
Autor Ehrig, H. and Bardohl, R.
Buchtitel Proc. of the International Workshop on Advanced Software Technology, Shanghai
Seiten 70–85
Jahr 1994
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe