Formal Analysis of Future Energy Systems Using Interactive Theorem Proving Dublin Core Títol Formal Analysis of Future Energy Systems Using Interactive Theorem Proving Autor Asad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki Matèria Energy Editor Springer Nature Data de publicació 2022 Identificador 9783030784096 Font https://doi.org/10.1007/978-3-030-78409-6 Etiquetes Energy Col·lecció Energy ← ítem anterior Ítem següent →
