|
|
Sold Out
Book Categories |
| Preface | ||
| I | Relational Specification of Programs | 1 |
| 1 | Sets and Relations | 5 |
| 2 | Program Specifications | 21 |
| 3 | Breaking Text Into Lines | 49 |
| II | A Relational Logic of Programming | 59 |
| 4 | Program Correctness | 63 |
| 5 | Program Construction | 93 |
| 6 | A Construction Exercise: Justifying Text | 121 |
| III | Generalization and Induction | 129 |
| 7 | Heuristics for Inductive Decomposition | 133 |
| 8 | Heuristics for Generalization | 161 |
| 9 | An Exercise in Inductive Decomposition | 201 |
| IV | Sequential Decomposition | 209 |
| 10 | The Weakest Prespecification Problem | 213 |
| 11 | The Initialization Problem | 239 |
| 12 | Exercises in Sequential Decomposition | 281 |
| V | Program Construction by Parts | 291 |
| 13 | The Demonic Semilattice of Specifications | 295 |
| 14 | Programming from Composite Specifications | 315 |
| 15 | An Exercise in Construction by Parts: Upsort | 337 |
| VI | Summary, Assessment and Perspectives | 345 |
| VII | Appendices | 351 |
| A | Mathematics for Structured Programming | 353 |
| B | The Conjugate Kernel | 363 |
| C | The Lattice of Specifications | 365 |
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
Akihiko Hatakeyama
reviewed Computer Program Construction on December 21, 2013
Computer Program Construction
The only reason not giving 5 starts is that the book is too much concentrated on Java programming language..
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 List
X
This item is in your Collection
Computer Program Construction
X
This Item is in Your Inventory
Computer Program Construction
X
You must be logged in to review the productsX
X
X
Add Computer Program Construction, This book offers a comprehensive treatment of the process of constructing computer programs through stepwise resolutions of relational equations. Unlike other books that take a logic-based approach to the topic, the authors derive constructive solutions t, Computer Program Construction to the inventory that you are selling on WonderClubX
X
Add Computer Program Construction, This book offers a comprehensive treatment of the process of constructing computer programs through stepwise resolutions of relational equations. Unlike other books that take a logic-based approach to the topic, the authors derive constructive solutions t, Computer Program Construction to your collection on WonderClub |