Formal Methods Applied to Industrial Complex Systems
ISTE Ltd and John Wiley & Sons Inc, 2014
235,25 €On orderDelivery: 2-3 weeks
A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc.
- ISBN-13
- 9781848216327
- ISBN-10
- 1848216327
- Publisher
- ISTE Ltd and John Wiley & Sons Inc
- Year
- 2014
- Publication date
- 2014-07-01
- Pages
- 480
- Dimensions
- 165x241x30
- Weight
- 848