Formal Techniques for Distributed Objects, Components, and Systems

خرید و دانلود نسخه کامل کتاب Formal Techniques for Distributed Objects, Components, and Systems

تکنیک های رسمی برای اشیا Dist ، اجزا، و سیستم های توزیع شده

Formal Techniques for Distributed Objects, Components, and Systems

نویسنده: Christel Baier, Luís Caires

ناشر: Springer International Publishing

سال انتشار: 2018

تعداد صفحات: XI, 197 [206]

زبان: English

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

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

92,000 تومان 55,000 تومان