کاربرد روش های رسمی و تایید و اعتبار سنجی اعمال نفوذ. فن آوری برای تسلط بر تغییر: ششمین سمپوزیوم بین المللی ISoLA 2014 امپریال، کورفو یونان اکتبر 8-11-2014 رسیدگی، قسمت اول Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

• نوع فایل : کتاب
• زبان : انگلیسی
• نویسنده : Tiziana Margaria , Bernhard Steffen (eds.)
• ناشر : Springer-Verlag Berlin Heidelberg
• چاپ و سال / کشور: 2014
• شابک / ISBN : 978-3-662-45233-2, 978-3-662-45234-9