Progress properties in program refinement and parallel composition
Edición de la obra Progress properties in program refinement and parallel composition
| Autor | David Meier |
|---|---|
| Fecha de publicación | 1997 |
| Idioma | inglés |
| OCLC | 75961790 |
| Número de Cutter | M511p |
Edición de la obra Progress properties in program refinement and parallel composition
| Autor | David Meier |
|---|---|
| Fecha de publicación | 1997 |
| Idioma | inglés |
| OCLC | 75961790 |
| Número de Cutter | M511p |