Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
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 Paperback 1

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Asad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki
  • ISBN 13: 9783030784089
  • ISBN 10: 3030784088
  • Publication Year: 1
  • Language: English

Specifications

Index-103030784088
LanguageEnglish
Index-139783030784089
Period-
Class Track-
Publisher- (1)
Pages-

✨ Readers also enjoyed...

View All →
Crossing the Curriculum : Multilingual Learners in College Classrooms

Crossing the Curriculum : Multilin…

Vivian Zamel, Ruth Spack

Inquire