Pengarang: Falk Howar

Sokongan

2 Ebooks by Falk Howar

Jiri Barnat & Falk Howar: Formal Methods for Industrial Critical Systems
This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018. The 9 regular p …
EPUB
Inggeris
DRM
€57.76
Falk Howar & Marieke Huisman: Tests and Proofs
?This book constitutes the proceedings of the 18th International Conference on Tests and Proofs, TAP 2024. TAP 2024 took place in Milan, Italy, on September 9 and 10, 2024 as part of the Formal Metho …
EPUB
Inggeris
DRM
€140.93