von: Eckehard Schnieder · Geza Tarnai
Taschenbuch
Details (Italien)
(siehe auch: Copertina flessibile)
Details (Spanien - España)
(siehe auch: Tapa blanda)
EAN=ISBN-13: 978-3-642-42716-9
ISBN-10: 3-642-42716-2
Springer · 2014
|
|
von: Eckehard Schnieder · Geza TarnaiTaschenbuch
Details (Italien) Details (Spanien - España)
EAN=ISBN-13: 978-3-642-42716-9 ISBN-10: 3-642-42716-2 Springer · 2014 |
| Siehe auch: | ||
| 2011 | Gebundene Ausgabe | FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems |