Ahmed, Asad (Autor)
Hasan, Osman (Autor)
Awwad, Falah (Autor)
Bastaki, Nabil (Autor)
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Beschreibung
Produktdetails
| ISBN/GTIN | 978-3-030-78409-6 |
|---|---|
| Seitenzahl | 79 S. |
| Kopierschutz | mit Wasserzeichen |
| Dateigröße | 2201 Kbytes |