Skip to main content
Elsevier
View Cart
Your Account

B Method

  • 1st Edition - June 1, 2019
  • Author: Jean-Louis Boulanger
  • Language: English
  • Hardback ISBN:
    9 7 8 - 1 - 7 8 5 4 8 - 1 5 6 - 7
  • eBook ISBN:
    9 7 8 - 0 - 0 8 - 1 0 1 1 4 5 - 4

B Method presents the language needed, semantics and methodologies required to use the method on real projects. The B method is one of the well known formal methods used in railwa… Read more

B Method

Purchase options

LIMITED OFFER

Save 50% on book bundles

Immediately download your ebook while waiting for your print delivery. No promo code needed.

Image of books

Institutional subscription on ScienceDirect

Request a sales quote

B Method presents the language needed, semantics and methodologies required to use the method on real projects. The B method is one of the well known formal methods used in railway systems safety going back to 1998 that has been deployed on many projects.