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

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

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I

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

ناشر: Springer International Publishing

سال انتشار: 2016

تعداد صفحات: 984

زبان: English

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

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