The science of programming
โ
David Gries
๐
Library
๐
1981
๐
Springer
๐
English
โ 2 MB
This is the very first book to discuss the theory and principles of computer programming on the basis of the idea that a proof of correctness and a program should be developed hand in hand. It is built around the method first proposed by Dijkstra in his monograph The Discipline of Programming (1976)