Lectures on the logic of computer programming
By: Zohar Manna.
Series: CBMS-NSF regional conference series in applied mathematics ;; 31
Publisher: Society for Industrial and Applied Mathematics
Published: 1980
Place of publication: Philadelphia, Pa
Language: eng
Number of pages: 49
Subjects: Computer programming; Logic, Symbolic and mathematical
Notes: Bibliography: p. 49