Program Construction: Calculating Implementations from Specifications
Roland Backhouse · John Wiley & Sons, Inc. eBooks · 2003
From the Publisher: The book covers the elements of logic and program correctness that form the foundations of further study - the logical connectives and their algebraic properties, induction, quantifiers and program construction rules. Substantial examples of program construction are included. Many exercises are provided, all with detailed solutions.