دانلود کتاب Modelling Distributed Systems
49,000 تومان
مدل سازی سیستم های توزیع شده
| موضوع اصلی | منطق |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer |
| تعداد صفحه | 158 |
| حجم فایل | 2 مگابایت |
| کد کتاب | 3540739378,9783540739371 |
| نویسنده | Wan Fokkink |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
مدل سازی سیستم های توزیع شده
این کتاب درسی دانشآموزان را از طریق مشخصات جبری و تأیید سیستمهای توزیعشده و برخی از برجستهترین تکنیکهای تأیید رسمی راهنمایی میکند. نویسنده از μCRL به عنوان وسیله نقلیه استفاده می کند، زبانی که برای ترکیب جبر فرآیند و انواع داده های انتزاعی توسعه یافته است. این کتاب از دورههای مقدماتی تأیید پروتکل که به دانشجویان کارشناسی و کارشناسی ارشد علوم کامپیوتر تدریس میشود، تکامل یافته است و متن با مثالها و تمرینها پشتیبانی میشود. راه حل های کامل در یک پیوست ارائه شده است، در حالی که برگه های تمرین، تمرینات آزمایشگاهی، مشخصات نمونه و اسلایدهای سخنران در وب سایت نویسنده موجود است.
Modelling Distributed Systems
This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques. The author employs µCRL as the vehicle, a language developed to combine process algebra and abstract data types. The book evolved from introductory courses on protocol verification taught to undergraduate and graduate students of computer science, and the text is supported throughout with examples and exercises. Full solutions are provided in an appendix, while exercise sheets, lab exercises, example specifications and lecturer slides are available on the author’s website.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.