Useful for all working in formal methods and safety-critical software, this is a definitive book on the B 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.