Número de Cutter-SanbornA286fEntrada «Ahm» → 286 · marca de obra “f”

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Name: Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
ISBN: 9783030784089

Autor	Asad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki
Editorial	Springer International Publishing AG

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving (2021) — ISBN 9 | Cutter Number