خرید و دانلود نسخه کامل کتاب Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

روشهای رسمی یکپارچه: دوازدهمین کنفرانس بین المللی ، IFM 2016 ، ریکیاویک ، ایسلند ، 1-5 ژوئن 2016 ، مجموعه مقالات

Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

نویسنده: Erika Ábrahám, Marieke Huisman (eds.)

ناشر: Springer International Publishing

سال انتشار: 2016

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

زبان: English

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

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