دانلود کتاب Logics for Concurrency: Structure versus Automata
49,000 تومان
منطق برای همزمانی: ساختار در مقابل خودکار
| موضوع اصلی | منطق |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 268 |
| حجم فایل | 2 مگابایت |
| کد کتاب | 3540609156,9783540609155 |
| نوبت چاپ | 1 |
| نویسنده | Faron Moller, Graham Birtwistle (eds.) |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 1996 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
منطق برای همزمانی: ساختار در مقابل خودکار
این کتاب پنج سخنرانی به سبک آموزشی در مورد رویکردهای مختلف به مسئله تأیید سیستمهای توزیع شده ارائه میکند: سه فصل بر روی منطقهای زمانی خطی یا زمانی انشعاب تمرکز دارد. یکی به معادل سازی فرآیند با تاکید بر سیستم های حالت نامحدود می پردازد. و آخرین یک رویکرد جدید طبقه بندی نظری برای راستی آزمایی ارائه می دهد. فرمالیسمهای مختلف برای بیان ویژگیهای سیستمهای همزمان، بر اساس تکنیکهای خودکار-نظری یا ویژگیهای ساختاری، به تفصیل مورد مطالعه قرار گرفتهاند.
توجه زیادی به سبک نگارش و پوشش تکمیلی موضوعات مربوطه شده است. بنابراین این یادداشت های سخنرانی برای دوره های پیشرفته منطق برای سیستم های همزمان مناسب هستند. به همان اندازه، خواندن آنها برای هر کسی که در زمینه محاسبات توزیع شده تحقیق می کند ضروری است.
This book presents five tutorial-style lectures on various approaches to the problem of verifying distributed systems: three chapters concentrate on linear-time or branching-time temporal logics; one addresses process equivalence with an emphasis on infinite-state systems; and the final one presents a novel category-theoretic approach to verification. The various formalisms for expressing properties of concurrent systems, based on automata-theoretic techniques or structural properties, are studied in detail.
Much attention is paid to the style of writing and complementary coverage of the relevant issues. Thus these lecture notes are ideally suited for advanced courses on logics for concurrent systems. Equally, they are indispensable reading for anyone researching the area of distributed computing.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.