Bonfanti / Gargantini / Leuschel / Riccobene / Scandurra

Rigorous State-Based Methods

10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Rezensionen ansehen

Standardpreis

79,17 €

Preisangaben inkl. MwSt. Abhängig von der Lieferadresse kann die MwSt. an der Kasse variieren. Weitere Informationen

auch verfügbar als eBook (PDF) für 78,1 €

Fachbuch

Buch. Softcover

2024

xv, 398 S. 36 s/w-Abbildungen, 101 Farbabbildungen, Bibliographien.

In englischer Sprache

Springer. ISBN 978-3-031-63789-6

Format (B x L): 15,5 x 23,5 cm

Das Werk ist Teil der Reihe: Lecture Notes in Computer Science; 14759

Produktbeschreibung

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.