Logical Derivation of Computer Programs

As a textbook for a one-semester course on program derivation, the method constitutes a powerful new tool for creating error-free programs and showing students a rigorous mathematical approach to programming.

Class-tested by the author throughout its development, the book has down-to-earth explanations, lots of details, cogent examples, and solved exercises that contain material either previously published or strongly influenced by the computer science literature.