Local cover image
A survey of verification techniques for parallel programs
Material type:
TextSeries: Lecture notes in computer science ; 191Publication details: Berlín : [S.n.], c1985Description: vi, 112 p. ; 25 cmISBN: - 3540152393
Contents:
Proof methods for shared variable parallelism -- Proof methods for message-based parallelism.
| Item type | Home library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Libro
|
Biblioteca de la Facultad de Informática | A.0.2 BAR (Browse shelf(Opens below)) | Available | DIF-00326 |
Proof methods for shared variable parallelism -- Proof methods for message-based parallelism.
Click on an image to view it in the image viewer