Tell your friends about this item:
Rigorous State-Based Methods: 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings - Lecture Notes in Computer Science 2024 edition
Rigorous State-Based Methods: 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings - Lecture Notes in Computer Science
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;
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | June 21, 2024 |
| ISBN13 | 9783031637896 |
| Publishers | Springer International Publishing AG |
| Pages | 398 |
| Dimensions | 150 × 220 × 10 mm · 628 g |
| Language | German |
| Editor | Bonfanti, Silvia |
| Editor | Gargantini, Angelo |
| Editor | Leuschel, Michael |
| Editor | Riccobene, Elvinia |
| Editor | Scandurra, Patrizia |