Rigorous State-Based Methods
Redigert av Angelo Gargantini, Silvia Bonfanti, Patrizia Scandurra, Michael Leuschel, Elvinia Riccobene, 2024.Del av serien Lecture Notes in Computer Science.
10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings
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.
Ikke tilgjengelig for Klikk&Hent
Midlertidig tomt på lager
Bestillingsvare. Forventes sendt om ca 20 dager
Rigorous State-Based Methods
Redigert av Angelo Gargantini, Silvia Bonfanti, Patrizia Scandurra, Michael Leuschel, Elvinia Riccobene, 2024.Del av serien Lecture Notes in Computer Science.
10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings
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.
Ikke tilgjengelig for Klikk&Hent
Midlertidig tomt på lager
Bestillingsvare. Forventes sendt om ca 20 dager
Ved å fullføre kjøpet aksepterer du kjøpsvilkårene.
