Program Construction: Calculating Implementations from Specifications

by

Write The First Customer Review
Program Construction: Calculating Implementations from Specifications - Backhouse, Roland
Filter Results
Shipping
Item Condition
Seller Rating
Other Options
Change Currency
Cash for Textbooks

Textbook Buyback

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

Program Construction: Calculating Implementations from Specifications 2003, Wiley, Chichester, England

ISBN-13: 9780470848821

Trade paperback

Select