دانلود کتاب Applications of Process Algebra
49,000 تومان
کاربردهای جبر فرآیندی
| موضوع اصلی | الگوریتم ها و ساختارهای داده |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Cambridge University Press |
| تعداد صفحه | 329 |
| حجم فایل | 8 مگابایت |
| کد کتاب | 0511608845,9780521607506,9780521400282,0521400287,9780511608841,0521607507 |
| نویسنده | J. C. M. Baeten |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2005 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
کاربردهای جبر فرآیندی
این کتاب کاربردهای تئوری جبر فرآیند یا جبر فرآیندهای ارتباطی (ACP) را ارائه میدهد که مطالعه فرآیندهای همزمان یا ارتباطی است که با استفاده از چارچوب جبری مورد مطالعه قرار میگیرد. رویکرد بدیهی است. نویسندگان ساختارهایی را در نظر می گیرند که مجموعه ای از بدیهیات عمدتاً معادله ای هستند که به چندین عملگر مجهز هستند. بنابراین اصطلاح «جبر» در معنای مدلی-نظری به کار می رود. رویکرد بدیهی فرد را قادر می سازد تا حوزه نظریه های فرآیند را سازماندهی کند. این تئوری به طور سیستماتیک برای تعدادی از موقعیتها، از جمله الگوریتمهای سیستولیک، معناشناسی یک زبان شیگرا و پروتکلها اعمال میشود. توسط دانشمندان کامپیوتری که در برنامه نویسی موازی کار می کنند استقبال خواهد شد.
This book gives applications of the theory of process algebra, or Algebra of Communicating Processes (ACP), that is the study of concurrent or communicating processes studied using an algebraic framework. The approach is axiomatic; the authors consider structures that are some set of mostly equational axioms, which are equipped with several operators. Thus the term ‘algebra’ is used in the model-theoretic sense. The axiomatic approach enables one to organize the field of process theories. The theory is applied systematically to a number of situations, including systolic algorithms, semantics of an object-oriented language, and protocols. It will be welcomed by computer scientists working in parallel programming.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.