Bastaki, Nabil books & textbook
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving (SpringerBriefs in Applied Sciences and Technology)
Ahmed, Asad Hasan, Osman Awwad, Falah Bastaki, Nabil
Springer /2021-08-15 Paperback / 90 Pages
isbn-10: 3030784088 / isbn-13: 9783030784089
