Treffer: Sprachbasierte Konstruktion sicherer Systeme
Titel:
Sprachbasierte Konstruktion sicherer Systeme / Detlef Marek
Verantwortlich:
Entstehung:
[2004]
Umfang:
1 Online-Ressource
Publikationstyp:
Sprache:
Deutsch
Hochschulschrift:
Dissertation, Technische Universität München, 2003
Schlagworte: