خرید و دانلود نسخه کامل کتاب Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

روش های رسمی: مبانی و کاربردها: نوزدهمین سمپوزیوم برزیل ، SBMF 2016 ، ناتال ، برزیل ، 23-25 ​​نوامبر 2016 ، مجموعه مقالات

Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

نویسنده: Leila Ribeiro, Thierry Lecomte (eds.)

ناشر: Springer International Publishing

سال انتشار: 2016

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

زبان: English

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

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