Osman Hasan – författare
Visar alla böcker från författaren Osman Hasan. Handla med fri frakt och snabb leverans.
8 produkter
Formalized Probability Theory and Applications Using Theorem Proving
Inbunden, 2015
2483 kr
Lägg i varukorg
Formalized Probability Theory and Applications Using Theorem Proving
E-bok, 2015
3015 kr
Lägg i varukorg
Formal Techniques for Safety-Critical Systems
7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers
Av Osman Hasan, Frédéric Mallet
Häftad, 2020
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China, in November 2019.The 6 revised full papers presented were carefully reviewed and selected from 17 submissions. Additionally, the …
Formal Techniques for Safety-Critical Systems
7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers
Av Frederic Mallet, Osman Hasan
E-bok, 2020
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China, in November 2019. The 6 revised full papers presented were carefully reviewed and selected from 17 submissions. Additionally, the …
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Av Asad Q Ahmed, Osman Hasan m. fl.
Häftad, 2021
716 kr
Lägg i varukorg
This book describes an accurate analysis technique for energy systems based on formal methods—computer-based mathematical logic techniques for the specification, validation, and verification of the systems.Correctness and accuracy of the financial, operational, and implementation analysis are of …
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Av Nabil Bastaki, Falah Awwad m. fl.
E-bok, 2021
877 kr
Lägg i varukorg
This book describes an accurate analysis technique for energy systems based on formal methods—computer-based mathematical logic techniques for the specification, validation, and verification of the systems. Correctness and accuracy of the financial, operational, and implementation analysis are of …
Intelligent Computer Mathematics
10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Av Herman Geuvers, Matthew England m. fl.
Häftad, 2017
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017. The 22 full papers and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 40 …
Intelligent Computer Mathematics
10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Av Olaf Teschke, Florian Rabe m. fl.
E-bok, 2017
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017. The 22 full papers and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 40 …
