The B Language and Method by Kevin Lano

  •
1 1

The B Language and Method by Kevin Lano

Checking stock...
Checking stock...
Zusammenfassung

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.

The feel-good place to buy books
  • Free delivery in the UK
  • Supporting authors with AuthorSHARE
  • 100% recyclable packaging
  • B Corp - kinder to people and planet
  • Buy-back with World of Books - Sell Your Books

The B Language and Method by Kevin Lano

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.

You might also like

KEVIN LANO is a Lecturer in the Department of Computer Science, King's College, University of London. He has also taught at Imperial College.

JOSE LUIZ FIADEIRO is Professor at the University of Leicester. He has extensive experience in lecturing, and has over 100 published papers.

LUIS FILIPE DE ANDRADE is founding partner and President of ATX Software SA, a company at the leading edge of international research and development in the area of co-ordination based software development.

SKU Nicht verfügbar
ISBN 13 9783540760337
ISBN 10 3540760334
Titel The B Language and Method
Autor Kevin Lano
Buchzustand Nicht verfügbar
Bindungsart Paperback
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Erscheinungsjahr 1996-05-14
Seitenanzahl 232
Hinweis auf dem Einband Die Abbildung des Buches dient nur Illustrationszwecken, die tatsächliche Bindung, das Cover und die Auflage können sich davon unterscheiden.
Hinweis Nicht verfügbar