• Book cover of: Formal Analysis of Future Energy Systems Using Interactive Theorem Proving. By: Asad Ahmed

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Asad Ahmed

€66,68
€66,68 €68,74 Sale
Tax included. Shipping calculated at checkout.

In stock
Autorius Asad Ahmed
Leidimo metai 2021 m.
Puslapių skč. 79 psl.
Viršelis Minkštas viršelis
ISBN 9783030784089
Leidimas 1st ed. 2022

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving by Asad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki.

Published by Springer International Publishing AG, (2021), Paperback, 79 pages.

Book cover of: Formal Analysis of Future Energy Systems Using Interactive Theorem Proving. By: Asad Ahmed

Formal Analysis of Future Energy Syst...

€66,68
€66,68 €68,74