The Science of Programming
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 theory and practice of computer programming.
Want books like The Science of Programming?
Our community of 11,000+ authors has personally recommended 100 books like The Science of Programming.
Browse books like The Science of Programming
5 book lists we think you will like!
Interested in computer science, software engineering, and computer programming?
11,000+ authors have recommended their favorite books and what they love about them. Browse their picks for the best books about computer science, software engineering, and computer programming.