Logical Derivation of Computer Programs

This text presents a language-based logic for procedures to derive computer programs from formal specifications. This approach is based upon design philosophy, and the author has set out to use language that is easy to understand. The method has also been class-tested throughout its development, and features examples, solved exercises and explanations.