مهندسی نرم افزار و روش های رسمی: هفدهمین کنفرانس بین المللی، SEFM 2019، اسلو، نروژ، 18 تا 20 سپتامبر 2019، مجموعه مقالات
Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
نویسنده: Peter Csaba Ölveczky, Gwen Salaün
ناشر: Springer International Publishing
سال انتشار: 2019
تعداد صفحات: XVIII, 550 [547]
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 24 مگابایت