A survey of verification techniques for parallel programs.
Edición de la obra A survey of verification techniques for parallel programs
| Autor | Howard Barringer |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 1985 |
| Lugar | Berlin |
| Idioma | inglés |
| Páginas | 115 |
| ISBN-10 | 3540152393 |
| Serie | Lecture notes in computer science -- 191 |
| Número de Cutter | B276s |