Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Asad Q Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki
Häftad
701 kr
Formal Techniques for Safety-Critical Systems
7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers
Häftad, Engelska, 2020
Del i serien Communications in Computer and Information Science
557 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
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.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Du kanske också är intresserad av
Del 10383
Intelligent Computer Mathematics
Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke
Häftad
557 kr
Information and Communication Technologies in Education, Research, and Industrial Applications
Vadim Ermolayev, Frédéric Mallet, Vitaliy Yakovyna, Heinrich C. Mayr, Aleksander Spivakovsky
Häftad
525 kr
Information and Communication Technologies in Education, Research, and Industrial Applications
Vadim Ermolayev, Frédéric Mallet, Oleksii Ignatenko, Gollam Rabby, Taras Panchenko, Grygoriy Zholtkevych, Vitaliy Yakovyna, Oleksandr Spivakovsky, Philippe Lahire
Häftad
889 kr
Formalized Probability Theory and Applications Using Theorem Proving
Osman Hasan, Sofiène Tahar
Inbunden
2 417 kr
- -22%
Del 1
- Nyhet
- -30%
- Signerad!
Del 2
- -22%
Del 3