Ahmed, Asad: Formal Analysis of Future Energy Systems Using Interactive Theorem | Kaicus Deutschland

Ahmed, Asad: Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

69.54 EUR

Marke: Springer International Publishing
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen