An edition of Software engineering with B
(1996)
Software engineering with B
by J. B. Wordsworth
- 2 Want to read
Share
×Close
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
| Edition | Availability |
|---|---|
1
|
aaaa
|
Book Details
Table of Contents
Preface
Contents
1. Introduction
2. Structure of a Simple Machine
3. The Class Manager's Assistant
4. Deferred Sets and Non-Determinism
5. Constructing Large Machines
6. More Substitutions For Machines
7. Software Design
8. Implementations
9. API-Layer Machines and Their Implementations
10. Refinements
A. Review of Discrete Mathematics
B. Summary Tables
C. Library Machines
Sample Solutions to Selected Exercises
Bibliography
Glossary
Index of Abstract Machines
General Index
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 |