A Survey of Verification Techniques for Parallel Programs 1

Data & IT

A Survey of Verification Techniques for Parallel Programs

Name: A Survey of Verification Techniques for Parallel Programs
Price: 349 SEK
Availability: InStock
Author: Howard Barringer
ISBN: 9783540152392

Howard Barringer

Pocket

349:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

120 sidor
1985

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.

Författare: Howard Barringer
Format: Pocket/Paperback
ISBN: 9783540152392
Språk: Engelska
Antal sidor: 120
Utgivningsdatum: 1985-05-01
Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K