Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Autor
Asad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki
Matèria
Editor
Springer Nature
Data publicació
2022
Identificador
9783030784096
Col·lecció
Accés
https://link.springer.com/openurl?genre=book&isbn=978-3-030-78409-6