Formal Analysis Of Future Energy Systems Using Interactive Theorem Proving (Springerbriefs In Applied Sciences And Technology)
Springer
ISBN13:
9783030784089
$82.16
- | Author: Asad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki
- | Publisher: Springer
- | Publication Date: 12-Sep-21
- | Number of Pages: 90 pages
- | Language: English
- | Binding: Paperback
- | ISBN-10: 3030784088
- | ISBN-13: 9783030784089
- Author:
- Asad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki
- Publisher:
- Springer
- Publication Date:
- 12-Sep-21
- Number of pages:
- 90 pages
- Language:
- English
- Binding:
- Paperback
- ISBN-10:
- 3030784088
- ISBN-13:
- 9783030784089