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

80,24 €

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 80,24 €

Fachbuch

Buch. Softcover

2024

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

In englischer Sprache

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

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

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.