A Survey of Verification Techniques for Parallel Programs

Name: A Survey of Verification Techniques for Parallel Programs
SKU: c08a8ab8e1628f0ae90a01116c2be4ee
Price: 24.6 EUR
Availability: InStock

1/1

Afbeelding van A Survey of Verification Techniques for Parallel Programs

Bol

Prijzen vanaf

24,60

Uitgelicht

	24,60	Naar shop
VERGELIJK ALLE AANBIEDERS (1)

Beschrijving

Bol 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.

Lees meer

Vergelijk aanbieders (1)

Sorteren op:

€ 24,60 € 2,99 verzendkosten Totaal € 27,59

Beschrijving (1)

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.

Lees meer