Tim Willemse – författare
Visar alla böcker från författaren Tim Willemse. Handla med fri frakt och snabb leverans.
2 produkter
Formal Methods for Industrial Critical Systems
24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
Av Kim Guldstrand Larsen, Tim Willemse
Häftad, 2019
569 kr
Lägg i varukorg
This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019.The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submissions. The …
Formal Methods for Industrial Critical Systems
24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
Av Tim Willemse, Kim Guldstrand Larsen
E-bok, 2019
739 kr
Lägg i varukorg
This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019. The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submissions. The …
