خرید و دانلود نسخه کامل کتاب Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi’an, China, November 13-17, 2017, Proceedings

روش های رسمی و مهندسی نرم افزار: نوزدهمین کنفرانس بین المللی روش های مهندسی رسمی ، ICFEM 2017 ، Xi’an ، چین ، 13 تا 17 نوامبر 2017 ، مجموعه مقالات

Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi’an, China, November 13-17, 2017, Proceedings

نویسنده: Zhenhua Duan, Luke Ong (eds.)

ناشر: Springer International Publishing

سال انتشار: 2017

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

زبان: English

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

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