| B Method Contributor(s): Boulanger, Jean-Louis (Author) |
|
 |
ISBN: 1785481568 ISBN-13: 9781785481567 Publisher: Iste Press - Elsevier OUR PRICE: $123.50 Product Type: Hardcover Published: December 2020 |
| Additional Information |
| BISAC Categories: - Computers | System Administration - General - Computers | Programming - General |
| Physical Information: 300 pages |
| Descriptions, Reviews, Etc. |
| Publisher 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.
|