Software engineering with B
Choice Reviews Online · 1997
1. Introduction 2. Structure of A Simple Machin 3. The Class Manager&csq.s assistan 4. Deferred Sets and Non-determinis 5. Constructing Large Machine 6. More Substitutions for Machine 7. Software Desig 8. Implementation 9. API-layer Machines and their Implementation 10. Refinement Appendix A - Review of Discrete Mathematic Appendix B - Summary Table Appendix C - Library Machines