Table of Contents

Tribute; Foreword; Introduction; Part I. Mathematics: 1. Mathematical reasoning; 2. Set notation; 3. Mathematical objects; Part II. Abstract Machines: 4. Introduction to abstract machines; 5. Formal definition of abstract machines; 6. Theory of abstract machines; 7. Constructing large abstract machines; 8. Examples of abstract machines; Part III. Programming: 9. Sequencing and loop; 10. Programming examples; Part IV. Refinement: 11. Refinement; 12. Constructing large software systems; 13. Examples of refinement; Appendixes; Index.

Promotional Information

The definitive book on the B Method; essential for all working in formal methods and safety-critical software.

Reviews

'With the appearance of The B-Book … computer scientists, and system developers at last will have access to the definitive account of what will become one of the standard approaches to the construction of software systems.' Zentralblatt MATH

'It will act as the reference book for many involved in the application of the B-Method … The B-Book provides a comprehensive reference for the B approach to specifying, designing and coding software systems.' Jonathan Bowen, The Times Higher Education Supplement