عنوان
پدید آورنده
موضوع
رده
QA76.5 H693 1985
QA76
.
5
H693
1985
کتابخانه
محل استقرار
شابک
شابک
3540394168
شابک
9783540394167
شماره کتابشناسی ملی
شماره
b565969
عنوان و نام پديدآور
عنوان اصلي
A survey of verification techniques for parallel programs
نام عام مواد
[Book]
نام نخستين پديدآور
Howard Barringer.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin ; New York
نام ناشر، پخش کننده و غيره
Springer-Verlag
تاریخ نشرو بخش و غیره
©1985.
مشخصات ظاهری
نام خاص و کميت اثر
(vi, 114 pages).
فروست
عنوان فروست
Lecture notes in computer science, 191.
یادداشتهای مربوط به مندرجات
متن يادداشت
Flow & Suzuki: Total correctnes of parallel programs.- Jones: Development of interfering programs.- Lamport: Verification of concurrent programs.- Owicki & Gries: Verification of parallel programs.- Apt, Francez & de Roever: Verification of CSP.- Barringer & Mearns: Verification of Ada Tasks.- Levin & Gries: Verification of CSP.- Misra & Chandy: Proofs of process networks.- Zhou & Hoare: Correctness of communicating processes.- Conclusions.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Parallel processing (Electronic computers)
موضوع مستند نشده
Parallel programs (Computer programs) -- Verification.
موضوع مستند نشده
Parallélisme (Informatique)
رده بندی کنگره
شماره رده
QA76
.
5
نشانه اثر
H693
1985
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Howard Barringer.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Howard Barringer
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
