J. R. Abrial, "The B-Book: Assigning Programs to Meanings"
English | 2005 | ISBN: 0521021758 | PDF | 816 pages | 12,9 MB
The B method is a means for specifying, designing and coding software systems. The long-awaited B Book is the standard reference for everything concerning this method. It contains the mathematical basis on which it is founded, the precise definitions of the notations used, and a large number of examples illustrating its use in practice.