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 |
|
92,31 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,55 EUR -
-
-
Lyrical Diagrams
From 12,92 EUR