Eckehard Schnieder
Elektrotechniker
Geboren:
1949
Werke:
- Prozessinformatik : Einf. mit Petrinetzen ; für Elektrotechniker u. Informatiker, Maschinenbauer u. Physiker nach d. Grundstudium
- Prozessinformatik : Automatisierung mit Rechensystemen ; Einführung mit Petrinetzen ; für Elektrotechniker und Informatiker, Maschinenbauer und Physiker nach dem Grundstudium ; mit 28 Tabellen
- Forms - Format 2010 : formal methods for automation and safety in railway and automotive systems
- Forms 2000 - formale Techniken für die Eisenbahnsicherung