We use cookies to provide essential features and services. By using our website you agree to our use of cookies .


Warehouse Stock Clearance Sale

Grab a bargain today!

The B-book


Product Description
Product Details

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.


'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, Times Higher Education Supplement

Ask a Question About this Product More...
Look for similar items by category
People also searched for
Item ships from and is sold by Fishpond Retail Limited.
Back to top