Falk Howar & Marieke Huisman 
Tests and Proofs [EPUB ebook] 
18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings

Apoio

?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...

leia mais
€141.78
Métodos de Pagamento
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

Mais ebooks do mesmo autor(es) / Editor

49.408 Ebooks nesta categoria