Osman Hasan

Art�culos populares por Osman Hasan

Ver todas las ofertas

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

Precios de los art�culos a partir de

EUR 10,15

Ver 6 ofertas

Encuentra tambi�n
Nuevos, Antiguos o usados
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving (SpringerBriefs in Applied Sciences and Technology)
Ahmed, Asad; Awwad, Falah; Hasan, Osman

Precios de los art�culos a partir de

EUR 58,23

Ver 11 ofertas

Encuentra tambi�n
Nuevos