Skip to main content

A Theory of Programming and its Application to the Design of Correct and Efficient Computer Programs

C. A. R. Hoare

Month
jan
Note
Typed lecture notes for a course at TATA Institute‚ Bomby
Year
1978