Osman Hasan

Popular items by Osman Hasan

View all offers

Formal Techniques for Safety-Critical Systems: 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers ... in Computer and Information Science, 1165)

Item prices starting from

US$ 11.98

View 6 offers

Also find
New, Used
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving (SpringerBriefs in Applied Sciences and Technology)
Ahmed, Asad; Hasan, Osman; Awwad, Falah; Bastaki, Nabil

Item prices starting from

US$ 70.79

View 11 offers

Also find
New