Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Format:: e-book
Title:: Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Author:: Ahmed, Asad; Awwad, Falah; Bastaki, Nabil; Hasan, Osman
Language:: English
Publisher:: Springer 2022
ISBN:: 3-030-78408-8
3-030-78409-6
Permalink:: http://bibtest.howest.be/catalog/ebk03:4100000011999058?locale=en