Book contents
- Frontmatter
- Foreword
- Introduction
- Acknowledgements
- What is B?
- Contents
- I Mathematics
- II Abstract Machines
- III Programming
- IV Refinement
- 11 Refinement
- 12 Constructing Large Software Systems
- 13 Examples of Refinements
- Appendix A Summary of Notations
- Appendix B Syntax
- Appendix C Definitions
- Appendix D Visibility Rules
- Appendix E Rules and Axioms
- Appendix F Proof Obligations
- Index
13 - Examples of Refinements
Published online by Cambridge University Press: 21 January 2010
- Frontmatter
- Foreword
- Introduction
- Acknowledgements
- What is B?
- Contents
- I Mathematics
- II Abstract Machines
- III Programming
- IV Refinement
- 11 Refinement
- 12 Constructing Large Software Systems
- 13 Examples of Refinements
- Appendix A Summary of Notations
- Appendix B Syntax
- Appendix C Definitions
- Appendix D Visibility Rules
- Appendix E Rules and Axioms
- Appendix F Proof Obligations
- Index
Summary
- Type
- Chapter
- Information
- The B-BookAssigning Programs to Meanings, pp. 603 - 700Publisher: Cambridge University PressPrint publication year: 1996