On the axiomatic verification of concurrent algorithms
Edición de la obra On the axiomatic verification of concurrent algorithms
| Autor | Christian Lengauer |
|---|---|
| Editorial | University of Toronto, Dept. of Computer Science |
| Fecha de publicación | 1978 |
| Lugar | Toronto |
| Idioma | inglés |
| Páginas | 101 |
| Número de Cutter | L566o |