Forms 2000 - Formale Techniken für die Eisenbahnsicherung
Workshop: Forms 2000 ; 2000 ; 2000 ; Braunschweig Workshop: Forms 2000 ; 2000 (Braunschweig) : 2000.11.29-30
Als Ms. gedr.
2000
V, 214 S.
graph. Darst.
Beitr. teils dt., teils engl.
Langzeitarchivierung durch Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
Konferenzband
Deutsch , Englisch
Forms '99 - formale Techniken für die Eisenbahnsicherung
TIBKAT | 2000
|Formale Techniken fur die Eisenbahnsicherungstechnik
British Library Conference Proceedings | 2000
|Formale Techniken für die Eisenbahnsicherungstechnik
IuD Bahn | 1999
|Petrinetze für die durchgängige Entwicklung von Systemen der Eisenbahnsicherung
Tema Archiv | 2000
|