تفاصيل الكتاب
تنسيق
غلاف ورقي
صفحات
268
لغة
الإنجليزية
منشور
Jun 12, 2016
الناشر
Springer
رقم ISBN-10
3319340956
رقم ISBN-13
9783319340951
الوصف
This book gathers insights from the renowned 16th International School on Formal Methods, where experts in the field delivered eight comprehensive tutorial lectures. It delves into the quantitative evaluation of Collective Adaptive Systems, emphasizing formal methodologies that enhance the design and analysis of complex computer systems.
Contributions from distinguished researchers Marco Bernardo, Rocco De Nicola, and Jane Hillston provide readers with a cohesive blend of theory and practical application. The discussions cover a range of cutting-edge topics, equipping practitioners and scholars with valuable knowledge essential for navigating the evolving landscape of formal methods in system evaluation.
Contributions from distinguished researchers Marco Bernardo, Rocco De Nicola, and Jane Hillston provide readers with a cohesive blend of theory and practical application. The discussions cover a range of cutting-edge topics, equipping practitioners and scholars with valuable knowledge essential for navigating the evolving landscape of formal methods in system evaluation.