An edition of The B language and method (1996)

The B language and method

a guide to practical formal development

Locate

My Reading Lists:

Create a new list


Buy this book

Last edited by ImportBot
March 28, 2025 | History
An edition of The B language and method (1996)

The B language and method

a guide to practical formal development

B is a formal approach to software specification and development based on the Z specification language. It has been successfully applied in industry, and has robust, commercially available tool support for the entire development lifecycle, from specification through to code generation.

The B Language and Method provides a comprehensive introduction to the B Abstract Machine Notation, and how it can be used to support formal specification and development of high integrity systems. Beginning with a discussion of the history of B, it builds up a description of the notation from the basic mathematical notation for sets and sequences, through to the structuring mechanisms of the language, and how it supports "programming in the large".

Particular emphasis is placed on the use of B in the context of existing software development methods, including object-oriented analysis and design. Specifically designed to support the teaching of B at undergraduate and postgraduate level, the text includes a large number of worked examples and graduated exercises in B AMN specification. It also includes two extended case studies of the development process, and an appendix of proof techniques suitable for B.

Publish Date
Publisher
Springer
Language
English
Pages
232

Buy this book

Book Details


Edition Notes

Includes index.

Published in
London, New York
Series
Formal approaches to computing and information technology

Classifications

Dewey Decimal Class
005.1/2/015113
Library of Congress
QA76.73.B155 L36 1996, QA76.758QA8.9-QA10.3

The Physical Object

Pagination
232 p. :
Number of pages
232

Edition Identifiers

Open Library
OL975526M
ISBN 10
3540760334
LCCN
96012591
OCLC/WorldCat
34411406
Goodreads
3540481

Work Identifiers

Work ID
OL2560683W

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
March 28, 2025 Edited by ImportBot Redacting ocaids
August 2, 2024 Edited by MARC Bot import existing book
January 14, 2023 Edited by ImportBot import existing book
May 13, 2022 Edited by ImportBot import existing book
April 1, 2008 Created by an anonymous user Imported from Scriblio MARC record