خرید و دانلود نسخه کامل کتاب Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

مهندسی نرم افزار و روش های رسمی: سیزدهمین کنفرانس بین المللی ، SEFM 2015 ، یورک ، انگلستان ، 7-11 سپتامبر 2015. مجموعه مقالات

Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

نویسنده: Radu Calinescu, Bernhard Rumpe (eds.)

ناشر: Springer International Publishing

سال انتشار: 2015

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

زبان: English

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

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