Das Buch ist derzeit nicht auf Lager

Verfahren zur Spezifikation funktionaler Sicherheitsanforderungen für Automatisierungssysteme in Temporallogik

Autoren

Friedemann Bitsch

Parameter

Kategorien

Skripten & Universitätslehrbücher

Reihe: IAS-Forschungsberichte

Buchkauf

Verfahren zur Spezifikation funktionaler Sicherheitsanforderungen für Automatisierungssysteme in Temporallogik, Friedemann Bitsch

Sprache
Erscheinungsdatum: 2007

Wir benachrichtigen dich per E-Mail.

Lieferung

Zahlungsmethoden

Deine Änderungsvorschläge