خرید و دانلود نسخه کامل کتاب Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

روش های رسمی: مبانی و کاربردها: هفدهمین سمپوزیوم برزیل ، SBMF 2014 ، Maceió ، AL ، برزیل ، 29 سپتامبر - 1 اکتبر 2014. مجموعه مقالات

Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

نویسنده: Christiano Braga, Narciso Martí-Oliet (eds.)

ناشر: Springer International Publishing

سال انتشار: 2015

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

زبان: English

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

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