Rigorous State-Based Methods: 10th International Conference, Abz 2024, Bergamo, Italy, June 25-28, 2024, Proceedings

Name: Rigorous State-Based Methods: 10th International Conference, Abz 2024, Bergamo, Italy, June 25-28, 2024, Proceedings
Price: 3012 TWD
Availability: OnlineOnly
Author: Bonfanti, Silvia, Gargantini, Angelo, Leuschel, Michael
ISBN: 3031637895

Bonfanti, Silvia, Gargantini, Angelo, Leuschel, Michael

出版商: Springer
出版日期: 2024-06-21
售價: $3,170
貴賓價: 9.5 折 $3,012
語言: 英文
頁數: 398
裝訂: Quality Paper - also called trade paper
ISBN: 3031637895
ISBN-13: 9783031637896
相關分類: 其他

海外代購書籍(需單獨結帳)

商品描述

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.