Hardback (01 Dec 2029)
Not available for sale
Includes delivery to the United States
Out of stock
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.
| ISBN: | 9781785481567 |
| Publisher: | Elsevier Science |
| Imprint: | Elsevier |
| Pub date: | 01 Dec 2029 |
| DEWEY: | 005.1 |
| DEWEY edition: | 23 |
| Language: | English |
| Number of pages: | 300 |
| Weight: | 651g |
| Height: | 229mm |
| Width: | 151mm |
| Spine width: | 30mm |
