Pastāsti draugiem par šo preci:
FORMS / FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems Eckehard Schnieder 2011 edition
FORMS / FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems
Eckehard Schnieder
Complexity in automation- and safety systems in railway as well as automotive applications are dominated more and more by formal description means, methods and tools.
257 pages, biography
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2014. gada 29. septembris |
| ISBN13 | 9783642427169 |
| Izdevēji | Springer-Verlag Berlin and Heidelberg Gm |
| Lapas | 257 |
| Izmēri | 155 × 235 × 14 mm · 385 g |
| Valoda | Vācu |
| Redaktors | Schnieder, Eckehard |
| Redaktors | Tarnai, Geza |