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ț: 457.86 lei 43-57 zile
