A survey of verification techniques for parallel programs
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Lengua: | inglés |
| Datos de publicación: |
Berlín :
[S.n.],
c1985
|
| Series: | Lecture notes in computer science ; 191
|
| Temas: | |
| Acceso en línea: | Consultar en el Cátalogo |
| Descripción Física: | vi, 112 p. ; 25 cm. |
| ISBN: | 3540152393 |