Software engineering with B
By: J.B. Wordsworth.
Series: International computer science series
Publisher: Addison-Wesley
Published: 1996
Place of publication: Harlow, England; Reading, Mass
Language: eng
Format: paperback
Number of pages: 331
Subjects: B (Computer program language); Software engineering.
Notes: Includes bibliographical references (p. 306-309) and index.
Table of contents: pagenum: v
title: Preface; pagenum: ix
title: Contents; title: Introduction
pagenum: 1
label: 1; title: Structure of a Simple Machine
pagenum: 14
label: 2; title: The Class Manager's Assistant
pagenum: 33
label: 3; title: Deferred Sets and Non-Determinism
pagenum: 50
label: 4; title: Constructing Large Machines
pagenum: 63
label: 5; title: More Substitutions For Machines
pagenum: 81
label: 6; title: Software Design
pagenum: 94
label: 7; title: Implementations
pagenum: 129
label: 8; title: API-Layer Machines and Their Implementations
pagenum: 156
label: 9; title: Refinements
pagenum: 191
label: 10; title: Review of Discrete Mathematics
pagenum: 203
label: A; title: Summary Tables
pagenum: 226
label: B; title: Library Machines
pagenum: 239
label: C; pagenum: 257
title: Sample Solutions to Selected Exercises; pagenum: 306
title: Bibliography; pagenum: 310
title: Glossary; pagenum: 321
title: Index of Abstract Machines; pagenum: 323
title: General Index