Todos los 1 Asad Q Ahmed lanzamientos en Paperback Book y...
Categorías
Otros
Atención al cliente
EUR
![Cover for Asad Q Ahmed · Formal Analysis of Future Energy Systems Using Interactive Theorem Proving - SpringerBriefs in Applied Sciences and Technology (Paperback Book) [1st ed. 2022 edition] (2021)](https://imusic.b-cdn.net/images/item/original/089/9783030784089.jpg?asad-q-ahmed-2021-formal-analysis-of-future-energy-systems-using-interactive-theorem-proving-springerbriefs-in-applied-sciences-and-technology-paperback-book&class=scaled&v=1624079940)