دانلود کتاب Verifying Concurrent Processes Using Temporal Logic
کتاب تأیید فرآیندهای همزمان با استفاده از منطق زمانی نسخه زبان اصلی
دانلود کتاب تأیید فرآیندهای همزمان با استفاده از منطق زمانی بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Verifying Concurrent Processes Using Temporal Logic
نام کتاب : Verifying Concurrent Processes Using Temporal Logic
ویرایش : 1
عنوان ترجمه شده به فارسی : تأیید فرآیندهای همزمان با استفاده از منطق زمانی
سری : Lecture Notes in Computer Science 129
نویسندگان : Brent T. Hailpern (auth.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 1982
تعداد صفحات : 216
ISBN (شابک) : 3540112057 , 9783540112051
زبان کتاب : English
فرمت کتاب : djvu درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 2 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
فهرست مطالب :
Introduction....Pages 1-2
Programming environment....Pages 3-14
Verification....Pages 15-26
Temporal logic....Pages 27-35
Chapter 5. Techniques....Pages 36-69
Network protocols....Pages 70-156
Resource allocation....Pages 157-182
Conclusion....Pages 183-184
پست ها تصادفی