𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Science of Programming || Propositions

✍ Scribed by Gries, David

Book ID
120244971
Publisher
Springer New York
Year
1981
Weight
922 KB
Category
Article
ISBN
1461259835

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Equivalence of propositional Prolog prog
Equivalence of propositional Prolog programs
✍ Hans Kleine BΓΌning; Ulrich LΓΆwen; Stefan Schmitgen πŸ“‚ Article πŸ“… 1990 πŸ› Springer Netherlands 🌐 English βš– 828 KB
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)