direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Basic Concepts of Equational Parameterized Specifications
Zitatschlüssel MEN96b
Autor Martini, A. and Ehrig, H. and Nunes, D.
Jahr 1996
Nummer 96-8
Institution TU Berlin
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe