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