Books by Osman Hasan
No products found matching the selection.
-20%
Formalized Probability Theory and Applications Using Theorem Proving
€305.48
€381.85
-20% with code BOOKS
In stock at our supplier
-20%
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Asad Ahmed, Falah Awwad, Nabil Bastaki, Osman Hasan
€88.07
€110.09
-20% with code BOOKS
In stock at our supplier
-20%
Probabilistic Analysis using Theorem Proving: A Higher-order Logic Based Approach
€100.94
€126.18
-20% with code BOOKS
In stock at our supplier