This book provides a textbook introduction to the B-Method, a rigorous methodology for the development of correct software. The text covers all stages of the B software development process - from specification, through refinement and design, down to implementation and automatic code generation. The method uses a single uniform notation throughout development, designed to enable verification at each stage whilst placing particular emphasis on correctness.· Suitable for undergraduate and postgraduate courses on formal methods and software development· Written in a clear tutorial style of explanation · Contains numerous illustrative examples, exercises and self-testing questions with solutions throughout· Relevant to users of any B-Method CASE tool· Teaching materials available onlineThe B-Method : An Introduction also offers readers powerful tool support by providing a free licence for the B-Toolkit - an integrated toolset which supports and extends the entire B development lifecycle.