Lectures on the logic of computer programming

Author(s)

Bibliographic Information

Lectures on the logic of computer programming

Zohar Manna

(CBMS-NSF regional conference series in applied mathematics, 31)

Society for Industrial and Applied Mathematics, 1980

Available at  / 23 libraries

Search this Book/Journal

Note

Bibliography: p. 49

Related Books: 1-1 of 1

Details

Page Top