دانلود کتاب Leveraging Applications of Formal Methods, Verification, and Validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers
by Anna-Lena Lamprecht (eds.)
|
عنوان فارسی: برنامه های کاربردی روش های رسمی، تایید و تایید: ششمین سمپوزیوم بین المللی، ISoLA 2014، کورفو، یونان، اکتبر 8-11، 2014، و پنجمین سمپوزیوم بین المللی، ISoLA 2012، Heraklion، Crete، یونان، 15-18 اکتبر 2012، مقالات منتخب تجدید نظر شده |