خرید و دانلود نسخه کامل کتاب Formal Methods and Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

روش‌های رسمی و مهندسی نرم‌افزار: پانزدهمین کنفرانس بین‌المللی روش‌های مهندسی رسمی، ICFEM 2013، کوئین‌تاون، نیوزلند، 29 اکتبر – 1 نوامبر 2013، مجموعه مقالات

Formal Methods and Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

نویسنده: Carroll C. Morgan (auth.), Lindsay Groves, Jing Sun (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2013

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

زبان: English

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

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