ابزارها و الگوریتم های ساخت و تحلیل سیستم ها
Tools and Algorithms for the Construction and Analysis of Systems
نویسنده: Dirk Beyer, Marieke Huisman
ناشر: Springer International Publishing
سال انتشار: 2018
تعداد صفحات: 474
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 19 مگابایت