Information and Communication Technologies in Education, Research, and Industrial Applications
Vadim Ermolayev, Frédéric Mallet, Vitaliy Yakovyna, Heinrich C. Mayr, Aleksander Spivakovsky, Frederic Mallet
Häftad
679 kr
Del 0 - 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
719 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
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Asad Q Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki, Asad Ahmed
Häftad
909 kr
Del 10383
Intelligent Computer Mathematics
Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke
Häftad
719 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 149 kr
Mod�lisation Et �valuation de Performances d'Architectures Mat�rielles
Mallet-F, MALLET-F, Frederic Mallet
Häftad
1 109 kr
Formalized Probability Theory and Applications Using Theorem Proving
Osman Hasan, Sofiène Tahar
Inbunden
3 049 kr
- Nyhet
Del 4
- Nyhet
Del 4
- Nyhet
Del 6
- Nyhet