Garoche, Pierre-Loïc (Autor)
Formal Verification of Control System Software
Beschreibung
Produktdetails
| ISBN/GTIN | 978-0-691-18958-1 |
|---|---|
| Seitenzahl | 100 S. |
| Kopierschutz | mit Wasserzeichen |
| Dateigröße | 4571 Kbytes |