خرید و دانلود نسخه کامل کتاب 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 (auth.)

ناشر: Springer-Verlag London

سال انتشار: 2017

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

زبان: English

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

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