Formal analysis of future energy systems using interactive theorem proving
Auteur :
Ahmed, Asad Q / Hasan, Osman / Awwad, Falah / Bastaki, Nabil
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030784089
Date de publication :
15 août 2021
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse