B Method Hardback
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.
- Format: Hardback
- Pages: 300 pages
- Publisher: ISTE Press Ltd - Elsevier Inc
- Publication Date: 01/06/2019
- Category: Computer programming / software development
- ISBN: 9781785481567