Rigorous State-Based Methods, Kartoniert / Broschiert

Rigorous State-Based Methods

Buch

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

lieferbar innerhalb 2-3 Wochen
(soweit verfügbar beim Lieferanten)

Aktueller Preis: EUR 82,13

Verlängerter Rückgabezeitraum bis 31. Januar 2026

Alle zur Rückgabe berechtigten Produkte, die zwischen dem 1. bis 31. Dezember 2025 gekauft wurden, können bis zum 31. Januar 2026 zurückgegeben werden.

Versandkosten (United States of America): EUR 19,90

Herausgeber:: Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra
Verlag:: Springer, 06/2024
Einband:: Kartoniert / Broschiert, Paperback
Sprache:: Englisch
ISBN-13:: 9783031637896
Artikelnummer:: 11901905
Umfang:: 416 Seiten
Gewicht:: 628 g
Maße:: 235 x 155 mm
Stärke:: 23 mm
Erscheinungstermin:: 21.6.2024
Hinweis: Achtung: Artikel ist nicht in deutscher Sprache!

Klappentext

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.