Back

ズーム ロールオーバーで画像拡大

A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science 191) (1985. VI, 115 S.)

Barringer, Howard
73.22 SGD
会員価格
65.90

Product Description

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.
... Read Full Text

VIII, 120 p.

... Read Full Text

Available to Order

Usually dispatches within 3-4 weeks

While every attempt has been made to ensure stock availability, occasionally we may run out of stock at our stores.

ご注文金額 50.00 SGD以上で国内送料無料

Discount is applied at checkout.

Recently Viewed Items

Related Products