Programming: The Derivation of Algorithms
An introductory textbook for students of computer science. The book looks at the art of changing efficient algorithms that meets their specifications and discusses the calculational style of programming.
What people are saying - Write a review
Review: Programming: The Derivation Of AlgorithmsUser Review - Max Lybbert - Goodreads
It's hard not to compare this book to Dijkstra's and Feijen's "A Method of Programming." Kaldewaij credits Dijkstra with the creation of the calculational method, and mentions work by several ... Read full review