دانلود کتاب 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
by Tiziana Margaria, Bernhard Steffen (eds.)
|
عنوان فارسی: کاربرد روش هاي رسمي و تایید و اعتبار سنجی اعمال نفوذ. فن آوری برای تسلط بر تغییر: ششمین سمپوزیوم بین المللی ISoLA 2014 امپریال، کورفو یونان اکتبر 8-11-2014 رسیدگی، قسمت اول |