The B Language and Method: A Guide to Practical Formal Development

by

Write The First Customer Review

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 ...

The B Language and Method: A Guide to Practical Formal Development 1996, Springer, London, England

ISBN-13: 9783540760337

Softcover Reprint of the Origi edition

Trade paperback

Select