دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: الگوریتم ها و ساختارهای داده ویرایش: 1 نویسندگان: Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci سری: ISTE ISBN (شابک) : 184821314X, 9781848213142 ناشر: Wiley-ISTE سال نشر: 2011 تعداد صفحات: 346 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
کلمات کلیدی مربوط به کتاب مدل ها و تجزیه و تحلیل برای سیستم های توزیع شده: انفورماتیک و مهندسی کامپیوتر، محاسبات موازی و VS
در صورت تبدیل فایل کتاب 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.
This book is more specifically intended for readers that wish
to gain an overview of the application of formal methods in the
design of distributed systems. Master’s and PhD students, as
well as engineers in industry, will find a global understanding
of the techniques as well as references to the most up-to-date
works in this area.