A survey of verification techniques for parallel programs
Howard Barringer
Bok Språk ikke angitt 1985
| Utgitt | Berlin : Springer , c1985
|
|---|---|
| Omfang | VI, 114 s.
|
| Emner | Computer programs - Verification.
Parallel processing (Electronic computers) Datamaskinprogrammer - Prøving Parallelle datamaskiner verifisering parallell programmering behandling |
| ISBN | 0387152393. - 3540152393
|
