The formal semantics of Turing programs
de R. C. Holt
Materias
Ediciones (1)
- The formal semantics of Turing programs (1986)
Computer Systems Research Institute, University of Toronto · inglés
de R. C. Holt
Computer Systems Research Institute, University of Toronto · inglés