The Leading eBooks Store Online 4,272,009 members ⚫ 1,419,367 ebooks

New to

Learn more

Program Construction

Calculating Implementations from Specifications

Program Construction by Roland Backhouse
Buy this eBook
US$ 50.00 US$ 45.00
(If any tax is payable it will be calculated and shown at checkout.)
  • 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
Wiley; November 2003
354 pages; ISBN 9780470864548
Read online, or download in secure PDF format
Title: Program Construction
Author: Roland Backhouse
  • News
  • Contents
No entry found