Check nearby libraries
Buy this book
Last edited by r. clayton
January 13, 2017 | History
Specifying, designing and implementing software with the B formal method.
Check nearby libraries
Buy this book
Showing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1 |
aaaa
Libraries near you:
WorldCat
|
Book Details
Table of Contents
Preface
Page v
Contents
Page ix
1.
Introduction
Page 1
2.
Structure of a Simple Machine
Page 14
3.
The Class Manager's Assistant
Page 33
4.
Deferred Sets and Non-Determinism
Page 50
5.
Constructing Large Machines
Page 63
6.
More Substitutions For Machines
Page 81
7.
Software Design
Page 94
8.
Implementations
Page 129
9.
API-Layer Machines and Their Implementations
Page 156
10.
Refinements
Page 191
A.
Review of Discrete Mathematics
Page 203
B.
Summary Tables
Page 226
C.
Library Machines
Page 239
Sample Solutions to Selected Exercises
Page 257
Bibliography
Page 306
Glossary
Page 310
Index of Abstract Machines
Page 321
General Index
Page 323
Edition Notes
Includes bibliographical references (p. 306-309) and index.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?January 13, 2017 | Edited by r. clayton | added description |
January 13, 2017 | Edited by r. clayton | added toc |
April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
February 6, 2010 | Edited by WorkBot | add more information to works |
December 10, 2009 | Created by WorkBot | add works page |