Cover Image
Read Now

1
by Kfoury, A.J., Moll, Robert N., Arbib, Michael A.
Published 1982
Springer New York
Table of Contents: “... -- 1.3 Diagonalization and the Halting Problem -- 2 The Syntax and Semantics of while-Programs -- 2.1...”