Sold Out
Book Categories |
Preface | ||
1 | A Science of Computing | 1 |
2 | A Searching Problem and Its Solution | 9 |
3 | Calculational Proof | 23 |
4 | Implementation Issues | 41 |
5 | Calculational Logic: Part 1 | 53 |
6 | Number Conversion | 71 |
7 | Calculational Logic: Part 2 | 83 |
8 | Maximum and Minimum | 97 |
9 | The Assignment Statement | 105 |
10 | Sequential Composition and Conditional Statements | 121 |
11 | Quantifiers | 137 |
12 | Inductive Proofs and Constructions | 165 |
13 | Iteration | 183 |
14 | Sorting and Searching Algorithms | 197 |
15 | Remainder Computation | 215 |
16 | Cyclic Codes | 241 |
Appendix | 255 | |
Solutions to Exercises | 263 | |
References | 331 | |
Glossary of Symbols | 333 | |
Index | 335 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionProgram Construction
X
This Item is in Your InventoryProgram Construction
X
You must be logged in to review the productsX
X
X
Add
Program Construction,
X
X
Add
Program Construction,
|