درک رفتار سیستم های توزیع شده با استفاده از mCRL2
Understanding Behaviour of Distributed Systems Using mCRL2
نویسنده: Muhammad Atif, Jan Friso Groote
ناشر: Springer
سال انتشار: 2023
تعداد صفحات: 242
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 3 مگابایت