Formal Analysis of Future Energy Systems Using Interactive Theorem Proving SpringerBriefs in Applied Sciences and Technology Autor Asad Ahmed et al. 15 aug 2021 Paperback Preț: 468.06 lei 6-8 săpt.