دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Verifying Concurrent Processes Using Temporal Logic
دانلود کتاب بررسی فرآیندهای همزمان با استفاده از منطق زمانی
مشخصات کتاب
Verifying Concurrent Processes Using Temporal Logic
ویرایش: 1
نویسندگان: Brent T. Hailpern (auth.)
سری: Lecture Notes in Computer Science 129
ISBN (شابک) : 3540112057, 9783540112051
ناشر: Springer-Verlag Berlin Heidelberg
سال نشر: 1982
تعداد صفحات: 216
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 41,000
کلمات کلیدی مربوط به کتاب بررسی فرآیندهای همزمان با استفاده از منطق زمانی: منطق و معانی برنامه ها، تکنیک های برنامه نویسی
در صورت تبدیل فایل کتاب Verifying Concurrent Processes Using Temporal Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب بررسی فرآیندهای همزمان با استفاده از منطق زمانی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
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
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Out of Your Comfort Zone: Breaking Boundaries for a Life Beyond Limits
دانلود کتاب Contested Pasts: The Politics of Memory (Memory and Narrative)
دانلود کتاب Nuts & Bolts Vol 04 - Sd.Kfz. 222 & 223
