خرید و دانلود نسخه کامل کتاب Integrated formal methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

روشهای رسمی یکپارچه: سیزدهمین کنفرانس بین المللی ، IFM 2017 ، تورین ، ایتالیا ، 20-22 سپتامبر 2017 ، مجموعه مقالات

Integrated formal methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

نویسنده: Polikarpova, Nadia; Schneider, Steve A

ناشر: Springer

سال انتشار: 2017

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

زبان: English

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

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