Table of contents for The B-book : assigning programs to meanings / J.-R. Abrial.


Bibliographic record and links to related information available from the Library of Congress catalog


Information from electronic data provided by the publisher. May be incomplete or contain other coding.


Counter
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.