direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

A Case Study of Abstract Implementation and their Correctness
Zitatschlüssel EKP80
Autor Ehrig, H. and Kreowski, H.-J. and Padawitz, P.
Buchtitel Proc. 4th Int. Symp. on Programming
Seiten 108–122
Jahr 1980
Jahrgang 83
Verlag SPRINGER
Serie LNCS
Download Bibtex Eintrag [1]
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008