Termination of nondeterministic programs.
Edición de la obra Termination of nondeterministic programs
| Autor | J. W. de Bakker |
|---|---|
| Editorial | Mathematisch Centrum |
| Fecha de publicación | 1975 |
| Lugar | Amsterdam |
| Idioma | inglés |
| Número de Cutter | B168t |
Edición de la obra Termination of nondeterministic programs
| Autor | J. W. de Bakker |
|---|---|
| Editorial | Mathematisch Centrum |
| Fecha de publicación | 1975 |
| Lugar | Amsterdam |
| Idioma | inglés |
| Número de Cutter | B168t |