دانلود کتاب 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
Availability: InStock
Author: Silvia Bonfanti (editor)
ISBN: 3031637895,9783031637896

by Silvia Bonfanti (editor), Angelo Gargantini (editor), Michael Leuschel (editor), Elvinia Riccobene (editor), Patrizia Scandurra (editor)

عنوان فارسی: روشهای مبتنی بر دولت دقیق: دهمین کنفرانس بینالمللی، ABZ 2024، برگامو، ایتالیا، 25 تا 28 ژوئن 2024، مجموعه مقالات
ناشر: Springer
سال: 2024
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 413-405
شابک: 3031637895,9783031637896
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 29.94 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

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.