Program Construction Calculating Implementations from Specifications
| Author/creator | Backhouse, Roland, 1948- Author |
| Format | Electronic |
| Publication Info | Wiley [Imprint] Hoboken : John Wiley & Sons, Incorporated |
| Description | 352 p. ill 23.850 x 019.100 cm. |
| Supplemental Content | Full text available from eBooks on EBSCOhost |
| Subjects |
| Summary | Annotation <ul><li>Unique approach tackles what most books don′t–why maths and logic are fundamental tools for a programmer</li><li>This comprehensive guide is a balanced combination of mathematical theory and the practice of programming</li><li>Straightforward presentation of construction principles inlcuding: assignment axiom, sequential composition, case analysis, use of invariants and bound functions</li><li>Includes a wide range of entertaining and challenging examples and exercises</li></ul> |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| LCCN | 2003006224 |
| ISBN | 9780470848821 |
| ISBN | 0470848820 (Trade Paper) Active Record |
| Standard identifier# | 9780470848821 |
| Stock number | 00028608 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | Access Content Online | ✔ Available |