خرید و دانلود نسخه کامل کتاب Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

استفاده از کاربردهای روش های رسمی، تأیید و اعتبارسنجی: بحث، انتشار، برنامه های کاربردی: هفتمین سمپوزیوم بین المللی، ISoLA 2016، امپریال، کورفو، یونان، 10-14 اکتبر 2016، مجموعه مقالات، قسمت دوم

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

نویسنده: Tiziana Margaria, Bernhard Steffen (eds.)

ناشر: Springer International Publishing

سال انتشار: 2016

تعداد صفحات: XXIV, 866 [873]

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 64 مگابایت