مهندسی نرم افزار و روش های رسمی: چهاردهمین کنفرانس بین المللی ، SEFM 2016 ، به عنوان بخشی از STAF 2016 ، وین ، اتریش ، 4-8 ژوئیه 2016 ، مجموعه مقالات
Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
نویسنده: Rocco De Nicola, Eva Kühn (eds.)
ناشر: Springer International Publishing
سال انتشار: 2016
تعداد صفحات: 420
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 16 مگابایت