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

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
Price updated on: 13-11-2024 16:32:07
View product deal
Identifiers
Dimensions / Weight
Key Features
Springer International Publishing