Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Asad Q Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki
Häftad
909 kr
Del i serien Communications in Computer and Information Science
Formal Techniques for Safety-Critical Systems
7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers
Häftad, Engelska, 2020
729 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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
- Utgivningsdatum2020-04-26
- Mått155 x 235 x 9 mm
- Vikt242 g
- FormatHäftad
- SpråkEngelska
- SerieCommunications in Computer and Information Science
- Antal sidor141
- FörlagSpringer Nature Switzerland AG
- ISBN9783030469016
Tillhör följande kategorier
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
729 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
679 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
1 159 kr
Formalized Probability Theory and Applications Using Theorem Proving
Osman Hasan, Sofiène Tahar
Inbunden
3 139 kr
- Nyhet
- Nyhet