خرید و دانلود نسخه کامل کتاب Software engineering and formal methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4?8, 2017, Proceedings

مهندسی نرم افزار و روش های رسمی: پانزدهمین کنفرانس بین المللی ، SEFM 2017 ، ترنتو ، ایتالیا ، 4 سپتامبر؟ 8 ، 2017 ، مجموعه مقالات

Software engineering and formal methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4?8, 2017, Proceedings

نویسنده: Cimatti, Alessandro; Sirjani, Marjan

ناشر: Springer

سال انتشار: 2017

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

زبان: English

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

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