خرید و دانلود نسخه کامل کتاب Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings

سیستم‌های بحرانی: روش‌های رسمی و تأیید خودکار: بیست و دومین کارگاه بین‌المللی مشترک در مورد روش‌های رسمی برای سیستم‌های بحرانی صنعتی و هفدهمین کارگاه بین‌المللی تأیید خودکار سیستم‌های بحرانی، FMICS-AVoCS 2017، تورین، ایتالیا، 18 تا 20 سپتامبر 2017، فعالیت‌ها

Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings

نویسنده: Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti (editors)

ناشر: Springer International Publishing

سال انتشار: 2017

تعداد صفحات: XIV, 235 [242]

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 8 مگابایت