Bemærk: Kan ikke leveres før jul.
Forventes på lager: 21-06-2024
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;
| Forlag | Springer International Publishing AG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 2024 ed. |
| Udgivelsesdato | 21-06-2024 |
| Første udgivelsesår | 2024 |
| Serie | Lecture Notes in Computer Science |
| Illustrationer | 101 Illustrations, color; 36 Illustrations, black and white |
| Fagredaktør | Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra |
| Originalsprog | Switzerland |
| Sideantal | 398 |
| Indbinding | Paperback / softback |
| Forlag | Springer International Publishing AG |
| Sideoplysninger | 398 pages, 101 Illustrations, color; 36 Illustrations, black and white |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783031637896 |