Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
Last edited by Tom Morris
March 19, 2022 | History
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
Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
Previews available in: English
Subjects
Computer Technology, Nonfiction, Computer programmingShowing 3 featured editions. View all 3 editions?
Edition | Availability |
---|---|
1
Program Construction: Calculating Implementations from Specifications
2007, Wiley & Sons, Incorporated, John
in English
0470299495 9780470299494
|
zzzz
Libraries near you:
WorldCat
|
2
Program Construction: Calculating Implementations from Specifications
April 23, 2003, Wiley
in English
0470848820 9780470848821
|
zzzz
Libraries near you:
WorldCat
|
3
Program Construction
2003, John Wiley & Sons, Ltd.
Electronic resource
in English
0470864540 9780470864548
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created June 18, 2010
- 6 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
March 19, 2022 | Edited by Tom Morris | merge authors |
September 16, 2021 | Edited by ImportBot | import existing book |
August 19, 2020 | Edited by ImportBot | import existing book |
July 29, 2012 | Edited by VacuumBot | Updated format 'electronic resource' to 'Electronic resource' |
June 18, 2010 | Created by ImportBot | Imported from marc_overdrive MARC record |