Springer Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

21.00 USD

Brand: Springer International Publishing

Sponsored This site contains affiliate links for which we may receive compensation. More information

Sponsored Springer Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

21.00 USD 21.00 USD

13-11-2024 13:35:35

Access to the deal