Program Construction: Calculating Implementations from Specifications

Type

Book

Authors

Roland Backhouse

ISBN 10

0470848820

ISBN 13

9780470848821

Tags

Software Development, Software, Reference, Mathematics, Programming Languages, Software Design & Engineering

Description

* Unique approach tackles what most books dona 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 - from Amzon

Number of Copies