دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1
نویسندگان: Howard Barringer (auth.)
سری: Lecture Notes in Computer Science 191
ISBN (شابک) : 3540152393, 9783540152392
ناشر: Springer-Verlag Berlin Heidelberg
سال نشر: 1985
تعداد صفحات: 120
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 781 کیلوبایت
کلمات کلیدی مربوط به کتاب بررسی تکنیک های تایید برای برنامه های موازی: مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان
در صورت تبدیل فایل کتاب A Survey of Verification Techniques for Parallel Programs به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب بررسی تکنیک های تایید برای برنامه های موازی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
Introduction....Pages 1-3
Flow & Suzuki: Total correctnes of parallel programs....Pages 4-16
Jones: Development of interfering programs....Pages 17-25
Lamport: Verification of concurrent programs....Pages 26-35
Owicki & Gries: Verification of parallel programs....Pages 36-53
Apt, Francez & de Roever: Verification of CSP....Pages 54-61
Barringer & Mearns: Verification of Ada Tasks....Pages 62-69
Levin & Gries: Verification of CSP....Pages 70-83
Misra & Chandy: Proofs of process networks....Pages 84-98
Zhou & Hoare: Correctness of communicating processes....Pages 99-112
Conclusions....Pages 113-114