|
Friedemann Bitsch
Verfahren zur Spezifikation funktionaler Sicherheitsanforderungen für Automatisierungssysteme in Temporallogik
Band 2007,1
ISBN 978-3-8322-6035-4, Deutsch, Paperback,
196 Seiten,
21 x 14,8 cm, 290 g, 65 Abbildungen,
48,80 € / 97,60 SFR
März 2007
|