von: Eckehard Schnieder · Geza Tarnai
Gebunden
EAN=ISBN-13: 978-3-642-14260-4
ISBN-10: 3-642-14260-5
Springer · 2011
|
|
von: Eckehard Schnieder · Geza TarnaiGebunden
EAN=ISBN-13: 978-3-642-14260-4 ISBN-10: 3-642-14260-5 Springer · 2011 |
| Siehe auch: | ||
| 2014 | Taschenbuch | FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems |