E.C.R Hehner earned his PhD in Computer Science from the University of Toronto in 1974. He then joined the faculty, became a full professor in 1983 and retired in 2012. His research has been mainly on the subject of formal programming methods, and the mathematics of program construction.
Books Authored by E.C.R. Hehner
A Practical Theory of Programming, Second Edition
Post date: 28 Nov 2004A Practical Theory of Programming, Second Edition
Post date: 28 Nov 2004