Autor: Falk Howar

Soporte

2 Ebooks de 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
Inglés
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
Inglés
DRM
€140.93