The formal semantics of Turing programs
Edición de la obra The formal semantics of Turing programs
| Autor | R. C. Holt |
|---|---|
| Editorial | Computer Systems Research Institute, University of Toronto |
| Fecha de publicación | 1986 |
| Lugar | Toronto |
| Idioma | inglés |
| Páginas | 52 |
| Serie | Technical report CSRI -- 182 |
| Número de Cutter | H758f |