دانلود کتاب Temporal Logic and State Systems
49,000 تومان
منطق زمانی و سیستم های حالت
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer |
| تعداد صفحه | 445 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 3540674012,9783540674016 |
| نویسنده | Fred Kroger, Stephan Merz |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2008 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
منطق زمانی و سیستم های حالت
منطق زمانی طی 30 سال گذشته به یک محیط رسمی قدرتمند برای تعیین مشخصات و تأیید سیستمهای مبتنی بر حالت تبدیل شده است. این کتاب بر اساس سخنرانیهای دانشگاهی نویسندگان، ارائهای جامع، مختصر، یکنواخت و بهروز از نظریه و کاربردهای منطق زمانی خطی و شاخهای است. TLA (منطق زمانی اعمال)؛ اتصالات نظری خودکار بررسی مدل؛ و نظریه های مرتبط تمام جزئیات نظری و مثالهای کاربردی متعدد با دقت و با دقت کامل تشریح شدهاند و این کتاب بهعنوان منبع و مرجع اساسی برای مدرسان، دانشجویان فارغالتحصیل و محققان خواهد بود.
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories. All theoretical details and numerous application examples are elaborated carefully and with full formal rigor, and the book will serve as a basic source and reference for lecturers, graduate students and researchers.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.