Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Synopsis

Copyright:
2022 The Author

Book Details

Book Quality:
ISBN-13:
9783030784096
Publisher:
Springer International Publishing
Date of Addition:
Language:
English
Categories:
Business and Finance, Nonfiction, Technology,
Usage Restrictions:
This is a copyrighted book.