Formal Analysis Of Future Energy Systems Using Interactive Theorem Proving, De Asad Q Ahmed. Editorial Springer Nature Switzerland Ag, Tapa Blanda En Inglés




Formal Analysis Of Future Energy Systems Using Interactive Theorem Proving, De Asad Q Ahmed. Editorial Springer Nature Switzerland Ag, Tapa Blanda En Inglés

$ 191.754
Envío gratis