A word in response to the corona virus crisis: Your print orders will be fulfilled, even in these challenging times. If you don’t want to wait – have a look at our ebook offers and start reading immediately.

Formal Approaches to Computing and Information Technology (FACIT)

The B Language and Method

A Guide to Practical Formal Development

Authors: Lano, Kevin

Free Preview

Buy this book

eBook $79.99
price for USA in USD (gross)
  • ISBN 978-1-4471-1494-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.99
price for USA in USD
  • ISBN 978-3-540-76033-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this Textbook

B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation. This volume provides a comprehensive introduction to the B Abstract Machine Notation, and to how it can be used to support formal specification and development of high integrity systems. A strong emphasis is placed on the use of B in the context of existing software development methods, including object-oriented analysis and design. The text includes a large number of worked examples, graduated exercises in B AMN specification and development (all of which have been class-tested), two extended case studies of the development process, and an appendix of proof techniques suitable for B. Based on material which has been used to teach B at postgraduate and undergraduate level, this volume will provide invaluable reading a wide range of people, including students, project technical managers and workers, and researchers with an interest in methods integration and B semantics.

Table of contents (6 chapters)

Table of contents (6 chapters)

Buy this book

eBook $79.99
price for USA in USD (gross)
  • ISBN 978-1-4471-1494-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.99
price for USA in USD
  • ISBN 978-3-540-76033-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
The B Language and Method
Book Subtitle
A Guide to Practical Formal Development
Authors
Series Title
Formal Approaches to Computing and Information Technology (FACIT)
Copyright
1996
Publisher
Springer-Verlag London
Copyright Holder
Springer-Verlag London Limited
eBook ISBN
978-1-4471-1494-9
DOI
10.1007/978-1-4471-1494-9
Softcover ISBN
978-3-540-76033-7
Edition Number
1
Number of Pages
VIII, 232
Topics