Asad Ahmed
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Asad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki · 2021
פרטי הספר
- שנה
- 2021
- שפה
- English
- הוצאה
- Springer International Publishing AG
- מהדורות
- 1
- עמודים
- 79
- ISBN
- 9783030784089
מקור הנתונים: Wikidata