دانلود کتاب A distributed pi-calculus
49,000 تومان
یک حساب پی توزیع شده
| موضوع اصلی | تحلیل و بررسی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Cambridge University Press |
| تعداد صفحه | 279 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 9780521873307,0521873304 |
| نوبت چاپ | 1 |
| نویسنده | Matthew Hennessy |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2007 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
یک حساب پی توزیع شده
سیستم های توزیع شده به سرعت در حال تبدیل شدن به یک هنجار در علم کامپیوتر هستند. مدلهای ریاضی رسمی و تئوریهای رفتار توزیعشده برای درک آنها مورد نیاز است. این کتاب یک حساب پی توزیع شده به نام Dpi را برای توصیف رفتار عوامل موبایل در دنیای توزیع شده پیشنهاد می کند. این بر اساس یک زبان رسمی موجود، حساب پی، است که یک لایه شبکه و یک ساختار مهاجرت اولیه را به آن اضافه می کند. یک نظریه ریاضی از رفتار این سیستم های توزیع شده ایجاد شده است که در آن وجود انواع نقش اصلی را ایفا می کند. همچنین نشان داده شده است که در اصل چگونه می توان از این نظریه برای توسعه تکنیک های تأیید برای تضمین رفتار عوامل توزیع شده استفاده کرد. این متن برای دانشمندان کامپیوتر با حداقل پیشینه در ریاضیات گسسته قابل دسترسی است. این شامل یک حساب ابتدایی از حساب پی، و نظریه مرتبط با شبیهسازیها است. همچنین نظریه نوع مورد نیاز Dpi را از اصول اولیه توسعه می دهد.
A distributed pi-calculus
Distributed systems are fast becoming the norm in computer science. Formal mathematical models and theories of distributed behavior are needed in order to understand them. This book proposes a distributed pi-calculus called Dpi, for describing the behavior of mobile agents in a distributed world. It is based on an existing formal language, the pi-calculus, to which it adds a network layer and a primitive migration construct. A mathematical theory of the behavior of these distributed systems is developed, in which the presence of types plays a major role. It is also shown how in principle this theory can be used to develop verification techniques for guaranteeing the behavior of distributed agents. The text is accessible to computer scientists with a minimal background in discrete mathematics. It contains an elementary account of the pi-calculus, and the associated theory of bisimulations. It also develops the type theory required by Dpi from first principles.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.