تکنیک های رسمی برای اشیا Dist ، اجزا، و سیستم های توزیع شده
Formal Techniques for Distributed Objects, Components, and Systems
نویسنده: Christel Baier, Luís Caires
ناشر: Springer International Publishing
سال انتشار: 2018
تعداد صفحات: XI, 197 [206]
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 8 مگابایت