Program Construction: Calculating Implementations from Specifications
By:
Sign Up Now!
Already a Member? Log In
You must be logged into UK education collection to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- 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
- Copyright:
- 2004
Book Details
- Book Quality:
- Publisher Quality
- Book Size:
- 352 Pages
- ISBN-13:
- 9780470864548
- Related ISBNs:
- 9780470848821
- Publisher:
- Wiley
- Date of Addition:
- 05/11/18
- Copyrighted By:
- N/A
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.