Program Construction: Calculating Implementations from Specifications
Price not available for France
You can still browse on Amazon. Try another country above.
Book Details
Author(s)
Roland Backhouse
Publisher
Wiley
ISBN / ASIN
0470848820
ISBN-13
9780470848821
Category
Computers
Marketplace
France 🇫🇷
Ratings & Reviews
No reviews yet — be the first!
No reviews yet.
Description
- 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
