مشخصات کتاب

A really temporal logic

ویرایش: Lecture notes 
نویسندگان: Rajeev Alur,  T A Henzinger,  Stanford University. Computer Science Department  
سری: Report (Stanford University. Computer Science Department), no. STAN-CS-89-1267 
 
ناشر: Dept. of Computer Science Stanford University 
سال نشر: 2007 
تعداد صفحات: 433 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

در صورت تبدیل فایل کتاب A really temporal logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب یک منطق واقعا منطقی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی درمورد کتاب به خارجی

فهرست مطالب

0. Introduction......Page 1
1. Reactive modules......Page 8
2. Invariant verification......Page 80
3. Symbolic graph search......Page 145
4. Graph minimization......Page 172
5. Real-time modules......Page 200
6. Safe temporal logic......Page 211
7. Safety automata......Page 243
8. Refinement verification......Page 265
9. Fair modules......Page 300
10. Response verification......Page 334
11. Live temporal logic......Page 356
12. Liveness automata......Page 383
13. Linear temporal logic......Page 405
99. Notation......Page 424

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Managing internetworks with SNMP: the definitive guide to the Simple Network Management Protocal, SNMPv2, RMON, and RMON2

دانلود کتاب Cuisiner le monde

دانلود کتاب Fortify: A Step Towards Recovery - Fighting Pornography Addiction

دانلود کتاب Gobi: a little dog with a big heart

دانلود کتاب Embimbiliya li Kola — Epongoluilo Lioluali Luokaliye