Buy Now, In-Store Pick Up Only

  • Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Free Preview of Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Asad Ahmed
Sep 20, 2021
$78.99 Price reduced from $97.60 to
Online pricing. Prices and offers may vary in store.
.
This product requires a minimum order of  1
Final Sale. No returns or exchanges.
This item will be shipped by appointment through our delivery partner.

Ship to me

Checking availability…

Buy now & pick up in store

Checking availability…

Find it in store

Checking availability…

Buy eBook
Earn null points and enjoy extra savings with plum+. 

Overview

Appropriate for
Language
English
No. of Pages
SpringerBriefs in Applied Sciences and Technology
Publisher: Springer International Publishing
Shipping dimensions: null
ISBN: 9783030784096
Life stage: null

You May Also Like

Ratings & Reviews

  • bvseo_sdk, dw_cartridge, 18.2.0, p_sdk_3.2.0
  • CLOUD, getReviews, 6ms
  • reviews, product
  • bvseo-msg: Unsuccessful GET. status = 'ERROR', msg = 'Not Found.'; Unsuccessful GET. status = 'ERROR', msg = 'Not Found.';

Editorial reviews

Author

Others Also Bought

Formal Analysis Of Future Energy Systems Using Interactive Theorem Proving DC1CA772-ADC1-4252-A745-9F06A1E6C717
Formal Analysis Of Future Energy Systems Using Interactive Theorem Proving
https://dynamic.indigoimages.ca/v1/books/books/3030784088/1.jpg
102.5
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
https://dynamic.indigoimages.ca/v1/https://cdn.kobo.com/book-images/b1db63d9-98c1-46e3-b22e-44b3a659983d/300/300/False/image.jpg
97.6