Program Construction
| Author | : Roland Backhouse |
| Publisher | : John Wiley & Sons |
| Total Pages | : 356 |
| Release | : 2003-05-07 |
| ISBN-10 | : UCSC:32106016613520 |
| ISBN-13 | : |
| Rating | : 4/5 (20 Downloads) |
Book Synopsis Program Construction by : Roland Backhouse
Download or read book Program Construction written by Roland Backhouse and published by John Wiley & Sons. This book was released on 2003-05-07 with total page 356 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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
