• 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 Väljamüük

Meil on laos

📦 Šios prekės gali nebūti sandėlyje.
Prieš perkant parašykite mums, kad patikslintume: info@bookshop.lt 💜

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