دانلود کتاب Modal logic and process algebra: A bisimulation perspective
49,000 تومان
منطق معین و جبر فرآیند: دیدگاه شبیه سازی
| موضوع اصلی | جبر |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | CSLI Publications |
| تعداد صفحه | 351 |
| حجم فایل | 2 مگابایت |
| کد کتاب | 188152695X,9781881526957,1881526968,9781881526964 |
| نویسنده | Alban Ponse, Maarten De Rijke, Yde Venema |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 1995 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
منطق معین و جبر فرآیند: دیدگاه شبیه سازی
سیستمهای انتقال برچسبگذاری شده مدلهای ریاضی برای رفتار یا فرآیندهای پویا هستند و بنابراین یک زمینه تحقیقاتی مورد علاقه مشترک منطقدانان و دانشمندان نظری کامپیوتر را تشکیل میدهند. در علوم کامپیوتر، این مفهوم در تحلیل رسمی زبان های برنامه نویسی، به ویژه در تئوری فرآیند، یک مفهوم اساسی است. در منطق مودال، سیستمهای انتقال موضوع اصلی مطالعه تحت نام مدلهای کریپکی هستند. این جلد تعدادی مقاله تحقیقاتی در مورد منطق مودال و نظریه فرآیند جمع آوری می کند. موضوع وحدتبخش آن مفهوم دوشبیهسازی است. شبیهسازیها روابطی بر روی سیستمهای انتقال هستند و ابزاری کلیدی در شناسایی فرآیندهای ارائهشده توسط این ساختارها فراهم میکنند. این جلد یک مرور کلی به روز از دیدگاه ها در مورد سیستم های انتقال برچسب دار و شبیه سازی ها ارائه می دهد.
Modal logic and process algebra: A bisimulation perspective
Labelled transition systems are mathematical models for dynamic behaviour, or processes, and thus form a research field of common interest to logicians and theoretical computer scientists. In computer science, this notion is a fundamental one in the formal analysis of programming languages, in particular in process theory. In modal logic, transition systems are the central object of study under the name of Kripke models. This volume collects a number of research papers on modal logic and process theory. Its unifying theme is the notion of a bisimulation. Bisimulations are relations over transition systems, and provide a key tool in identifying the processes represented by these structures. The volume offers an up-to-date overview of perspectives on labelled transition systems and bisimulations.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.