?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 Methods in Industrial Critical Systems), LOPSTR (In ternational Symposium on Logic-based Program Synthesis and Transformation), PPDP (International Symposium on Principles and Practice of...
Compre este e-book e ganhe mais 1 GRÁTIS!
Língua Inglês ● Formato EPUB ● ISBN 9783031720444 ● Editor Falk Howar & Marieke Huisman ● Editora Springer Nature Switzerland ● Publicado 2024 ● Carregável 3 vezes ● Moeda EUR ● ID 9945640 ● Proteção contra cópia Adobe DRM
Requer um leitor de ebook capaz de DRM