مهندسی نرم افزار و روش های رسمی
Software Engineering and Formal Methods
نویسنده: Einar Broch Johnsen, Ina Schaefer
ناشر: Springer International Publishing
سال انتشار: 2018
تعداد صفحات: 306
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 13 مگابایت