دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Models and Analysis for Distributed Systems
دانلود کتاب مدل ها و تجزیه و تحلیل برای سیستم های توزیع شده
مشخصات کتاب
Models and Analysis for Distributed Systems
ویرایش: نویسندگان: Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci سری: ISBN (شابک) : 9781848213142 ناشر: Wiley سال نشر: 2011 تعداد صفحات: 346 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 33,000
در صورت تبدیل فایل کتاب Models and Analysis for Distributed Systems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدل ها و تجزیه و تحلیل برای سیستم های توزیع شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مدل ها و تجزیه و تحلیل برای سیستم های توزیع شده
امروزه سیستم های توزیع شده به طور فزاینده ای برای برنامه های کاربردی نرم افزار عمومی و همچنین سیستم های حیاتی وجود دارند. برنامه های نرم افزاری و همچنین سیستم های حیاتی. این عنوان و سیستم های توزیع شده: طراحی و الگوریتم ها - از همان ویرایشگران - مفاهیم اساسی، تکنیک های طراحی مرتبط و مسائل امنیتی مرتبط را معرفی می کند. هدف این کتاب توصیف وضعیت هنر روش های رسمی برای تجزیه و تحلیل سیستم های توزیع شده است. موضوعات متعددی باز مانده و موضوعات پروژه های تحقیقاتی بزرگ هستند. یکی از روندهای تحقیقاتی کنونی شامل ترکیب عمیق مراحل طراحی، مدل‌سازی، تأیید و پیاده‌سازی است. این رویکرد مبتنی بر نمونه سازی حول مفهوم اصلاح مدل متمرکز است.
توضیحاتی درمورد کتاب به خارجی
Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed Systems: Design and Algorithms - from the same editors - introduce the underlying concepts, the associated design techniques and the related security issues. The objective of this book is to describe the state of the art of the formal methods for the analysis of distributed systems. Numerous issues remain open and are the topics of major research projects. One current research trend consists of profoundly mixing the design, modeling, verification and implementation stages. This prototyping-based approach is centered around the concept of model refinement.
نظرات کاربران
کتاب های تصادفی
