Critical Systems
Critical Systems
افزودن به بوکمارک
اشتراک گذاری
0 دیدگاه کاربران
5
(0)
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, Ita...
مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید
این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.
گزارش تخلف
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2017
نویسنده
Laure Petrucciنویسنده
Laure Petrucciناشر
Springerناشر
Springerشابک
9783319671123
- اطلاعات
- دیدگاه کاربران
برای مطالعه توضیحات وارد حساب کاربری خود شوید
دیدگاه کاربران