کتاب های Osman Hasan
درباره نویسنده
![Formalized Probability Theory and Applications Using Theorem Proving](http://cdn.ketabkoo.com/covers/4/416139-n.jpg)
Formalized Probability Theory and Applications Using Theorem Proving
Osman Hasan, 2015![Formal Analysis of Future Energy Systems Using Interactive Theorem Proving](http://cdn.ketabkoo.com/covers/15/1502269-n.jpg)
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Asad Ahmed; Osman Hasan; Falah Awwad; Nabil Bastaki, 2021![Formal Analysis of Future Energy Systems Using Interactive Theorem Proving](http://cdn.ketabkoo.com/covers/15/1502270-n.jpg)