عنوان فارسیطراحی سیستم های توزیع شده قابل اعتماد: رویکرد روش های رسمی مبتنی بر مدل سازی اجرایی در Maude
عنوان اصلیDesigning Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude
ناشرSpringer London
نویسندهPeter Csaba Ölveczky
ISBN 9781447166870 9781447166863
سال نشر2017
زبانEnglish
تعداد صفحات0
دسته
سیستم های عامل
فرمت کتابepub – قابل تبدیل به سایر فرمت ها
حجم فایل11 مگابایت
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
نقد و بررسیها
هیچ دیدگاهی برای این محصول نوشته نشده است.