مشخصات کتاب

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

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

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

دانلود کتاب Atlas of Human Anatomy. Osteology–Arthrology and Syndesmology Myology

دانلود کتاب Our New Baby (First Steps)

دانلود کتاب Focke-Wulf Fw 189 In Action

دانلود کتاب Cup of Gold Historical Novel

دانلود کتاب Librarian’s Guide to Online Searching: Cultivating Database Skills for Research and Instruction