دانلود کتاب Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
by Marco Bernardo
|
عنوان فارسی: روش رسمی برای ارزیابی کمی سیستمهای انطباقی جمعی: 16 مدرسه بین المللی در روش های رسمی برای طراحی کامپیوتر، ارتباطات، و سیستم های نرم افزار، SFM 2016، Bertinoro، ایتالیا، 20-24 ژوئن، 2016، سخنرانی و جوی پیشرفته |