Formal Verification of Simulink/Stateflow Diagrams - 9783319470146
Springer
Pages: 273, Edition: 1st ed. 2017, Hardcover, Springer
Compare prices (3 shops)
| shop | Price | Action |
|---|---|---|
|
81,67 GBP | Go to shop |
|
94,08 GBP | Go to shop |
|
|
125,97 GBP | Go to shop |
Similar products
-
Formal System Verification - 9783319862231
From 89,40 EUR -
Formal System Verification - 9783319576831
From 89,40 EUR -
Formal Verification of Structurally Complex Multipliers
From 50,47 EUR -
-
-
MATLAB and Simulink Crash Course for Engineers
From 33,37 EUR