The B-Method, Paperback / softback Book

The B-Method Paperback / softback

Part of the Cornerstones of Computing series


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.


  • Format: Paperback / softback
  • Pages: 384 pages, 384 p.
  • Publisher: Palgrave Macmillan
  • Publication Date:
  • Category: Software Engineering
  • ISBN: 9780333792841



Free Home Delivery

on all orders

Pick up orders

from local bookshops

Also in the Cornerstones of Computing series   |  View all