خرید و دانلود نسخه کامل کتاب Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

روش‌های رسمی: مبانی و برنامه‌های کاربردی: بیستمین سمپوزیوم برزیل، SBMF 2017، رسیف، برزیل، 29 نوامبر - 1 دسامبر 2017، مجموعه مقالات

Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

نویسنده: Simone Cavalheiro, José Fiadeiro (eds.)

ناشر: Springer International Publishing

سال انتشار: 2017

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

زبان: English

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

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