Produkt mají v nabídce:
Formal Methods Applied to Industrial Complex Systems
A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc.
Detail produktu
Podobné produkty
A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc.
