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