Häftad, Engelska, 2024
Rigorous State-Based Methods
10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings
Av Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra
Del i serien Lecture Notes in Computer Science
838 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
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.
Produktinformation
- Utgivningsdatum: 2024-06-21
- Mått: 155 x 235 x 23 mm
- Vikt: 628 g
- Format: Häftad
- Språk: Engelska
- Serie: Lecture Notes in Computer Science
- Antal sidor: 398
- Förlag: Springer International Publishing AG
- ISBN: 9783031637896
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.