Interactive Theorem Proving for Future Energy Systems Analysis

69.99 USD

Brand: Springer International Publishing

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

Sponsored Vitalsource Technologies, Inc. Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

69.99 USD 69.99 USD

13-11-2024 16:32:07

Access to the deal