You are here
Back to topB Method (Hardcover)
$162.50
This item is not available this time
This item is not available this time
Description
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.