خرید و دانلود نسخه کامل کتاب Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

استفاده از روش‌های رسمی، تأیید و اعتبارسنجی. سیستم های توزیع شده: هشتمین سمپوزیوم بین المللی، ISoLA 2018، لیماسول، قبرس، 5-9 نوامبر 2018، مجموعه مقالات، قسمت سوم

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

نویسنده: Tiziana Margaria, Bernhard Steffen

ناشر: Springer International Publishing

سال انتشار: 2018

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

زبان: English

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

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