Formal Analysis of Future Energy Systems Using Interactive Theorem Proving (Bog, Paperback / softback, Engelsk) af Asad Q. Ahmed

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

(Bog, Paperback / softback, Engelsk)
Forfattere: Asad Q Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer Nature Switzerland AG
Forfattere Asad Q Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 1st ed. 2022
Udgivelsesdato 15-08-2021
Første udgivelsesår 2021
Serie SpringerBriefs in Applied Sciences and Technology
Illustrationer 7 Illustrations, color; 11 Illustrations, black and white
Originalsprog Switzerland
Sideantal 79
Indbinding Paperback / softback
Forlag Springer Nature Switzerland AG
Sideoplysninger 79 pages, 7 Illustrations, color; 11 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9783030784089