Del 1175
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, 2020
529 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 1165 i serien Communications in Computer and Information Science
561 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
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, 2026
893 kr
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Asad Q Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki
Häftad, 2021
704 kr
Del 10383
Intelligent Computer Mathematics
Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke
Häftad, 2017
560 kr
Formalized Probability Theory and Applications Using Theorem Proving
Osman Hasan, Sofiène Tahar
Inbunden, 2015
2 417 kr
Del 1165
- -22%
Del 3
- -30%
- -30%
Del 1165