Rigorous State-Based Methods
10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings
-
- 64,99 €
-
- 64,99 €
Descrizione dell’editore
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.
GENERE
Computer e internet
PUBBLICATO
2024
20 giugno
LINGUA
EN
Inglese
PAGINE
413
EDITORE
Springer Nature Switzerland
DATI DEL FORNITORE
Springer Science & Business Media LLC
DIMENSIONE
56,7
MB