Book description
Describes basic programming principles and their step-by-
step applications.Numerous examples are included.
- Coming soon!
Why read it?
1 author picked The Science of Programming as one of their favorite books. Why do they recommend it?
This book is essential in that it follows a systematic and scientific approach to software development, advocating for clarity in expressing algorithms, providing a rigorous framework for designing and reasoning about programs, and, fundamentally, always focusing on formal methods and mathematical techniques to ensure correctness and efficiency in programming code.
Most importantly, the book doesn’t just show you how to prove programs correct, but also teaches how to arrive from a definition to an efficient and correct solution, so I would recommend this to every developer.
From Federico's list on The best books on the theory and practice of computer programming.
If you love The Science of Programming...
December on 5C4
Magical realism meets the magic of Christmas in this mix of Jewish, New Testament, and Santa stories–all reenacted in an urban psychiatric hospital!
On locked ward 5C4, Josh, a patient with many similarities to Jesus, is hospitalized concurrently with Nick, a patient with many similarities to Santa. The two argue…
Want books like The Science of Programming?
Our community of 13,000+ authors has personally recommended 100 books like The Science of Programming.
Share your top 3 reads of 2026!
And get a beautiful page showing off your 3 favorite reads.
186
readers submitted
so far, will you?
📚 If you like The Science of Programming, you might also like...
Child of Vanris
At five years old, Kasiel was found with the pointed ends of his ears cut off. Despite that brutal start, he’s lived twelve peaceful years with the man who took him in. Keeping his hair long over his mutilated ears helps him hide the fact that he is Vanrian, a…
Almost Home
Almost Home is a fictional retelling of the last great tragedy of the Civil War.
In late April 1865, almost 2,000 newly freed Union prisoners of war are packed onto the steamer Sultana, in poor repair and with a listed capacity of 376 passengers. Among them are four Indiana soldiers…
