BÜCHER VERSANDKOSTENFREI INNERHALB DEUTSCHLANDS
Rigorous State-Based Methods
10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings
Springer
ISBN 978-3-031-63789-6
Standardpreis
Bibliografische Daten
Fachbuch
Buch. Softcover
2024
36 s/w-Abbildungen, 101 Farbabbildungen.
In englischer Sprache
Umfang: xv, 398 S.
Format (B x L): 15,5 x 23,5 cm
Verlag: Springer
ISBN: 978-3-031-63789-6
Weiterführende bibliografische Daten
Das Werk ist Teil der Reihe: Lecture Notes in Computer Science
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.
Autorinnen und Autoren
Produktsicherheit
Hersteller
Springer Nature Customer Service Center GmbH
Europaplatz 3
69115 Heidelberg, DE
ProductSafety@springernature.com
Rezensionen
