Nanda, Manju (Hrsg.)
Jeppu, Yogananda (Hrsg.)
Formal Methods for Safety and Security
Case Studies for Aerospace Applications
Beschreibung
Produktdetails
| ISBN/GTIN | 978-981-10-4121-1 |
|---|---|
| Seitenzahl | 132 S. |
| Kopierschutz | mit Wasserzeichen |
| Dateigröße | 4680 Kbytes |