Survey of Verification Techniques for Parallel Programs. Questo articolo non è disponibile.
Lingua: inglese
Editore: Springer, 1985
- Brossura
- Nuovo
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Venditore con 5 stelle
Venditore AbeBooks dal 6 aprile 2009
Non disponibile
Brossura
Condizione: Nuovo
EUR 42,20
Codice articolo 5908402-n
- Titolo
- Survey of Verification Techniques for Parallel Programs
- Autore
- Barringer, Howard
- Editore
- Springer
- Anno di pubblicazione
- 1985
- Condizione
- New
- Rilegatura
- Brossura
- Lingua
- inglese
- ISBN 10
- 3540152393
- ISBN 13
- 9783540152392
Contenuti
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.
"Descrizione articolo" può appartenere a un’altra edizione di questo titolo.