A Practical Theory of Programming, Second Edition
Describes theory of programming as something that will provide a much greater degree of precision by providing a method of calculation to software engineers.
Tag(s): Formal Methods
Publication date: 31 Dec 2004
ISBN-10: n/a
ISBN-13: n/a
Paperback: n/a
Views: 29,767
Type: N/A
Publisher: n/a
License: n/a
Post time: 28 Nov 2004 01:00:54
A Practical Theory of Programming, Second Edition
About The Author(s)
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.
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.