منو
رکورد قبلیرکورد بعدی

" A survey of verification techniques for parallel programs "


Document Type : BL
Record Number : 746020
Doc. No : b565969
Main Entry : Howard Barringer.
Title & Author : A survey of verification techniques for parallel programs\ Howard Barringer.
Publication Statement : Berlin ; New York : Springer-Verlag, ©1985.
Series Statement : Lecture notes in computer science, 191.
Page. NO : (vi, 114 pages).
ISBN : 3540394168
: : 9783540394167
Contents : 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.
Subject : Parallel processing (Electronic computers)
Subject : Parallel programs (Computer programs) -- Verification.
Subject : Parallélisme (Informatique)
LC Classification : ‭QA76.5‬‭H693 1985‬
Added Entry : Howard Barringer
copyhttps://lib.clisel.com/site/catalogue/746020
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟