×
  • Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

    Asad Ahmed Osman Hasan Falah Awwad Nabil Bastaki

Click on cover to enlarge.
Buy This Book
From Amazon.
1 - 2Hours to read