direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Algebraic Specification Techniques and Tools for Software Development - The ACT Approach
Zitatschlüssel CEW93
Autor Claßen, I. and Ehrig, H. and Wolz, D.
Jahr 1993
Verlag World Scientific
Serie AMAST Series in Computing Vol.%7E1
Download Bibtex Eintrag [1]
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008