1799:-
Tillfälligt slut online – klicka på "Bevaka" för att få ett mejl så fort varan går att köpa igen.
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.
- Covers the B method language
- Includes methodologies applied on real projects
- Format: Inbunden
- ISBN: 9781785481567
- Språk: Engelska
- Antal sidor: 300
- Utgivningsdatum: 2020-12-01
- Förlag: ISTE Press - Elsevier