The B language and method : a guide to practical formal development /

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

Full description

Bibliographic Details

Main Author:	Lano, K.
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	London ; New York : Springer, [1996]
Series:	Formal approaches to computing and information technology.
Subjects:	B (Computer program language) Computer software > Development. Electronic books.
Online Access:	Connect to the full text of this electronic book