دانلود کتاب Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
کتاب استفاده از کاربردهای روش های رسمی، تأیید و اعتبارسنجی. کاربردها و مطالعات موردی: پنجمین سمپوزیوم بین المللی، ISoLA 2012، هراکلیون، کرت، یونان، 15-18 اکتبر 2012، مجموعه مقالات، قسمت دوم نسخه زبان اصلی
دانلود کتاب استفاده از کاربردهای روش های رسمی، تأیید و اعتبارسنجی. کاربردها و مطالعات موردی: پنجمین سمپوزیوم بین المللی، ISoLA 2012، هراکلیون، کرت، یونان، 15-18 اکتبر 2012، مجموعه مقالات، قسمت دوم بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
نام کتاب : Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
ویرایش : 1
عنوان ترجمه شده به فارسی : استفاده از کاربردهای روش های رسمی، تأیید و اعتبارسنجی. کاربردها و مطالعات موردی: پنجمین سمپوزیوم بین المللی، ISoLA 2012، هراکلیون، کرت، یونان، 15-18 اکتبر 2012، مجموعه مقالات، قسمت دوم
سری : Lecture Notes in Computer Science 7610
نویسندگان : Dirk Beyer, Alexander K. Petrenko (auth.), Tiziana Margaria, Bernhard Steffen (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2012
تعداد صفحات : 375
ISBN (شابک) : 9783642340314 , 9783642340321
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 11 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
پست ها تصادفی