Das Buch ist derzeit nicht auf Lager

Verfahren zur Spezifikation funktionaler Sicherheitsanforderungen für Automatisierungssysteme in Temporallogik

Autoren

Friedemann Bitsch

Parameter

ISBN: 9783832260354
Verlag: Shaker

Kategorien

Deine Änderungsvorschläge

Buchvariante

2007

Buchkauf

Dieses Buch ist derzeit nicht auf Lager.