Update 23 martie - COVID-19 - Informații privind activitatea Books Express

B Method

De (autor)
Notă GoodReads:
en Limba Engleză Hardback – December 2020

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




Citește tot Restrânge

Preț: 63720 lei

Preț vechi: 70800 lei
-10% Precomandă

Puncte Express: 956

Preț estimativ în valută:
12568 13584$ 11062£

Carte nepublicată încă

Preluare comenzi: 021 569.72.76


ISBN-13: 9781785481567
ISBN-10: 1785481568
Pagini: 300
Dimensiuni: 152 x 229 mm


1. Introduction to Formal Method
2. Set, Function and Sequence
3. Component and Abstract Machine
4. Substitution
5. Refinement
6. From Abstract to Concrete
7. Obligation Proof
8. Implementation of Basic Algorithm
9. Complex Examples
10. Process Based on B-Method
11. Tools
12. Conclusion