دانلود کتاب Temporal Logics in Computer Science. Finite-State Systems
کتاب منطق های زمانی در علوم کامپیوتر. سیستم های حالت محدود نسخه زبان اصلی
دانلود کتاب منطق های زمانی در علوم کامپیوتر. سیستم های حالت محدود بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Temporal Logics in Computer Science. Finite-State Systems
نام کتاب : Temporal Logics in Computer Science. Finite-State Systems
عنوان ترجمه شده به فارسی : منطق های زمانی در علوم کامپیوتر. سیستم های حالت محدود
سری :
نویسندگان : Stéphane Demri, Valentin Goranko, Martin Lange
ناشر : Cambridge University Press
سال نشر : 2016
تعداد صفحات : 744
ISBN (شابک) : 9781107028364
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 8 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
فهرست مطالب :
Content: 1. Introduction
Part I. Models: 2. Preliminaries and background I
3. Transition systems
Part II. Logics: 4. Preliminaries and background II
5. Basic modal logics
6. Linear-time temporal logics
7. Branching-time temporal logics
8. The modal mu-calculus
9. Alternating-time temporal logics
Part III. Properties: 10. Expressiveness
11. Computational complexity
Part IV. Methods: 12. Frameworks for decision procedures
13. Tableaux-based decision methods
14. The automata-based approach
15. The game-theoretic framework
References
Index.
پست ها تصادفی