Cover Image
Read Now

1
Published 1978
Springer New York
Table of Contents: “... they are resented -- 8. An axiomatic basis for computer programming -- 9. Proof of a program: FIND -- 10...”