دانلود کتاب A distributed pi-calculus (به فارسی: یک حساب پی توزیع شده) نوشته شده توسط «Matthew Hennessy»
اطلاعات کتاب یک حساب پی توزیع شده
موضوع اصلی: تحلیل و بررسی
نوع: کتاب الکترونیکی
ناشر: Cambridge University Press
نویسنده: Matthew Hennessy
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2007
تعداد صفحه: 279
حجم کتاب: 3 مگابایت
کد کتاب: 9780521873307 , 0521873304
نوبت چاپ: 1
توضیحات کتاب یک حساب پی توزیع شده
سیستم های توزیع شده به سرعت در حال تبدیل شدن به یک هنجار در علم کامپیوتر هستند. مدلهای ریاضی رسمی و تئوریهای رفتار توزیعشده برای درک آنها مورد نیاز است. این کتاب یک حساب پی توزیع شده به نام Dpi را برای توصیف رفتار عوامل موبایل در دنیای توزیع شده پیشنهاد می کند. این بر اساس یک زبان رسمی موجود، حساب پی، است که یک لایه شبکه و یک ساختار مهاجرت اولیه را به آن اضافه می کند. یک نظریه ریاضی از رفتار این سیستم های توزیع شده ایجاد شده است که در آن وجود انواع نقش اصلی را ایفا می کند. همچنین نشان داده شده است که چگونه اصولاً می توان از این نظریه برای توسعه تکنیک های تأیید برای تضمین رفتار عوامل توزیع شده استفاده کرد. این متن برای دانشمندان کامپیوتر با حداقل پیشینه در ریاضیات گسسته قابل دسترسی است. این شامل یک حساب ابتدایی از حساب پی، و نظریه مرتبط با شبیهسازیها است. همچنین نظریه نوع مورد نیاز Dpi را از اصول اولیه توسعه می دهد.
دانلود کتاب «یک حساب پی توزیع شده»
📖 خرید این کتاب
برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمههای زیر کلیک کنید تا پیام آماده برای شما ارسال شود:
پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.