|
|
Sold Out
Book Categories |
| Preface | ||
| 1 | Introduction | 1 |
| 2 | Posets, Lattices, and Categories | 29 |
| 3 | Higher-Order Logic | 57 |
| 4 | Functions | 69 |
| 5 | States and State Transformers | 85 |
| 6 | Truth Values | 109 |
| 7 | Predicates and Sets | 127 |
| 8 | Boolean Expressions and Conditionals | 139 |
| 9 | Relations | 151 |
| 10 | Types and Data Structures | 167 |
| 11 | Predicate Transformers | 187 |
| 12 | The Refinement Calculus Hierarchy | 203 |
| 13 | Statements | 213 |
| 14 | Statements as Games | 233 |
| 15 | Choice Semantics | 249 |
| 16 | Subclasses of Statements | 259 |
| 17 | Correctness and Refinement of Statements | 269 |
| 18 | Well-founded Sets and Ordinals | 301 |
| 19 | Fixed Points | 317 |
| 20 | Recursion | 329 |
| 21 | Iteration and Loops | 347 |
| 22 | Continuity and Executable Statements | 365 |
| 23 | Working with Arrays | 383 |
| 24 | The N-Queens Problem | 403 |
| 25 | Loops and Two-Person Games | 413 |
| 26 | Statement Classes and Normal Forms | 427 |
| 27 | Specification Statements | 447 |
| 28 | Refinement in Context | 463 |
| 29 | Iteration of Conjunctive Statements | 479 |
| Appendix | 497 | |
| References | 501 | |
| Index | 509 |
| Price | Condition | Delivery | Seller | Action |
| $137.34 | Digital |
| WonderClub |
Darrell Oliver
reviewed Refinement Calculus on March 21, 2018
Refinement Calculus
Gosh I really don't feel like reading this book, but my advisor is teaching the class and he asked me to take it because he didn't have enough students enrolled. ;_;
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
Refinement Calculus
X
This Item is in Your Inventory
Refinement Calculus
X
You must be logged in to review the productsX
X
X
Add Refinement Calculus, Much current research in computer science is concerned with two questions: is a program correct? And how can we improve a correct program preserving correctness? This latter question is known as the refinement of programs and the purpose of this book is t, Refinement Calculus to the inventory that you are selling on WonderClubX
X
Add Refinement Calculus, Much current research in computer science is concerned with two questions: is a program correct? And how can we improve a correct program preserving correctness? This latter question is known as the refinement of programs and the purpose of this book is t, Refinement Calculus to your collection on WonderClub |