خرید و دانلود نسخه کامل کتاب Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude

طراحی سیستم های توزیع شده قابل اعتماد: رویکرد روش های رسمی مبتنی بر مدل سازی اجرایی در Maude

Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude

نویسنده: Peter Csaba Ölveczky

ناشر: Springer London

سال انتشار: 2017

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

زبان: English

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

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