Osman Hasan - Böcker

Visar alla böcker från författaren Osman Hasan.
4 produkter
Osman Hasan, Sofiène Tahar - Formalized Probability Theory and Applications Using Theorem Proving, Inbunden

Formalized Probability Theory and Applications Using Theorem Proving

Av Osman Hasan, Sofiène Tahar

Inbunden, Engelska, 2015

3 199 kr

Skickas inom 5-8 vardagar
Osman Hasan, Frédéric Mallet, Frederic Mallet - Formal Techniques for Safety-Critical Systems, Häftad

Formal Techniques for Safety-Critical Systems

Av Osman Hasan, Frédéric Mallet, Frederic Mallet

Häftad, Engelska, 2020

739 kr

Skickas inom 7-10 vardagar
Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke - Intelligent Computer Mathematics, Häftad

Intelligent Computer Mathematics

Av Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke

Häftad, Engelska, 2017

739 kr

Skickas inom 7-10 vardagar