Understanding Behaviour of Distributed Systems Using mCRL2

خرید و دانلود نسخه کامل کتاب Understanding Behaviour of Distributed Systems Using mCRL2

درک رفتار سیستم های توزیع شده با استفاده از mCRL2

Understanding Behaviour of Distributed Systems Using mCRL2

نویسنده: Muhammad Atif, Jan Friso Groote

ناشر: Springer

سال انتشار: 2023

تعداد صفحات: 242

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 3 مگابایت

112,000 تومان 73,000 تومان