مهندسی نرم افزار و روش های رسمی: دوازدهمین کنفرانس بین المللی ، SEFM 2014 ، گرنوبل ، فرانسه ، 1-5 سپتامبر 2014. مجموعه مقالات
Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings
نویسنده: Dimitra Giannakopoulou, Gwen Salaün (eds.)
ناشر: Springer International Publishing
سال انتشار: 2014
تعداد صفحات: 412
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 6 مگابایت