ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Models and Analysis for Distributed Systems

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

Models and Analysis for Distributed Systems

مشخصات کتاب

Models and Analysis for Distributed Systems

دسته بندی: الگوریتم ها و ساختارهای داده
ویرایش: 1 
نویسندگان: , , ,   
سری: ISTE 
ISBN (شابک) : 184821314X, 9781848213142 
ناشر: Wiley-ISTE 
سال نشر: 2011 
تعداد صفحات: 346 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت

قیمت کتاب (تومان) : 58,000



کلمات کلیدی مربوط به کتاب مدل ها و تجزیه و تحلیل برای سیستم های توزیع شده: انفورماتیک و مهندسی کامپیوتر، محاسبات موازی و VS



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 12


در صورت تبدیل فایل کتاب 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.





نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی