Formal Analysis of Future Energy Systems Using Interactive Theorem Proving (SpringerBriefs in Applied Sciences and Technology)

Book 163 of 472: SpringerBriefs in Applied Sciences and Technology

Ahmed, Asad; Hasan, Osman; Awwad, Falah; Bastaki, Nabil

ISBN 10: 3030784088 ISBN 13: 9783030784089
Published by Springer, 2021
Language: English
Condition: New Soft cover

Sold by Books Puddle, New York, NY, U.S.A.

AbeBooks Seller since 22 November 2018

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

View this seller's items


New - Soft cover

Condition: New

Price:
£ 81.59
£ 2.97 shipping
Ships within U.S.A.

Quantity: 4 available

Add to basket