خرید و دانلود نسخه کامل کتاب Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

روش های رسمی یکپارچه: چهاردهمین کنفرانس بین المللی، IFM 2018، Maynooth، ایرلند، 5-7 سپتامبر 2018، مجموعه مقالات

Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

نویسنده: Carlo A. Furia, Kirsten Winter

ناشر: Springer International Publishing

سال انتشار: 2018

تعداد صفحات: XVI, 420 [434]

زبان: English

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

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