Kirjat Osman Hasan
Valintaa vastaavia tuotteita ei löytynyt.
-25%
Formalized Probability Theory and Applications Using Theorem Proving
286,39 €
381,85 €
-25% koodilla BOOKS
Toimittajalla varastossa
-25%
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Asad Ahmed, Falah Awwad, Nabil Bastaki, Osman Hasan
82,57 €
110,09 €
-25% koodilla BOOKS
Toimittajalla varastossa
-25%
Probabilistic Analysis using Theorem Proving: A Higher-order Logic Based Approach
94,64 €
126,18 €
-25% koodilla BOOKS
Toimittajalla varastossa