Falk Howar – författare
Visar alla böcker från författaren Falk Howar. Handla med fri frakt och snabb leverans.
4 produkter
Formal Methods for Industrial Critical Systems
23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
Häftad, 2018
569 kr
Lägg i varukorg
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 papers presented in this volume were carefully reviewed and selected from 17 submissions. The book …
Formal Methods for Industrial Critical Systems
23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
E-bok, 2018
739 kr
Lägg i varukorg
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 papers presented in this volume were carefully reviewed and selected from 17 submissions. The book …
Tests and Proofs
18th International Conference, TAP 2024, Milan, Italy, September 9–10, 2024, Proceedings
Av Marieke Huisman, Falk Howar
Häftad, 2024
1534 kr
Lägg i varukorg
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 Methods symposium (FM 2024), which included four more co-located conferences besides TAP: FMICS (Formal …
Tests and Proofs
18th International Conference, TAP 2024, Milan, Italy, September 9–10, 2024, Proceedings
Av Falk Howar, Marieke Huisman
E-bok, 2024
1948 kr
Lägg i varukorg
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 Methods symposium (FM 2024), which included four more co-located conferences besides TAP: FMICS (Formal …
