Publisher's Synopsis
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Paperback (18 Aug 2021)
Not available for sale
Includes delivery to the United States
Out of stock
Other formats/editions
Check stock
Book information
| ISBN: | 9783030784102 |
| Publisher: | Springer Nature B.V. |
| Imprint: | Springer Nature B.V. |
| Pub date: | 18 Aug 2021 |
| Language: | English |
| Number of pages: | 92 |
| Weight: | 143g |
| Height: | 234mm |
| Width: | 156mm |
We recommend
$5.92off
Interpersonal Process in Therapy
Hardback
Published 15 Jul 2016
Save $5.92
RRP $98.15- $92.23
$9.14off
Mechanical Engineering Practice...
Hardback
Published 02 Jun 2023
Save $9.14
RRP $109.77- $100.63
$9.51off
Tensegrity Structures Design Me...
Hardback
Published 05 Oct 2023
Save $9.51
RRP $109.77- $100.26
