Falah Awwad – författare

Visar alla böcker från författaren Falah Awwad. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

   Av Asad Q Ahmed, Osman Hasan m. fl.

   Häftad, 2021

   716 kr

   Lägg i varukorg

   This book describes an accurate analysis technique for energy systems based on formal methods—computer-based mathematical logic techniques for the specification, validation, and verification of the systems.Correctness and accuracy of the financial, operational, and implementation analysis are of …

2. 

   Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

   Av Nabil Bastaki, Falah Awwad m. fl.

   E-bok, 2021

   877 kr

   Lägg i varukorg

   This book describes an accurate analysis technique for energy systems based on formal methods—computer-based mathematical logic techniques for the specification, validation, and verification of the systems. Correctness and accuracy of the financial, operational, and implementation analysis are of …