This book constitutes the refereed proceedings of the 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25-28, 2024.The 29 papers included in this volume were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: research papers; short research papers; case study; doctoral symposium.
Купите эту электронную книгу и получите еще одну БЕСПЛАТНО!
язык английский ● Формат EPUB ● ISBN 9783031637902 ● редактор Silvia Bonfanti & Angelo Gargantini ● издатель Springer Nature Switzerland ● опубликованный 2024 ● Загружаемые 3 раз ● валюта EUR ● Код товара 9512239 ● Защита от копирования Adobe DRM
Требуется устройство для чтения электронных книг с поддержкой DRM