Program Construction: Calculating Implementations from Specifications

• Unique approach tackles what most books don't-why maths and logic are fundamental tools for a programmer
  
• This comprehensive guide is a balanced combination of mathematical theory and the practice of programming
  
• Straightforward presentation of construction principles inlcuding: assignment axiom, sequential composition, case analysis, use of invariants and bound functions
  
• Includes a wide range of entertaining and challenging examples and exercises
  

Keywords: COMPUTERS / Programming / Software Development COM051230