Schnieder, Eckehard (Hrsg.)
Tarnai, Geza (Hrsg.)
FORMS/FORMAT 2010
Formal Methods for Automation and Safety in Railway and Automotive Systems
Beschreibung
Produktdetails
| ISBN/GTIN | 978-3-642-14261-1 |
|---|---|
| Seitenzahl | 257 S. |
| Kopierschutz | mit Wasserzeichen |
| Dateigröße | 6401 Kbytes |