๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

The Science of Programming || The Alternative Command

โœ Scribed by Gries, David

Book ID
120244966
Publisher
Springer New York
Year
1981
Weight
666 KB
Category
Article
ISBN
1461259835

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

The science of programming
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)