Bücher nach ISBN > Springer > Shuling Wang

Shuling Wang

S. W. · S. Wang

TitelISBN-13
(ISBN-10)		Erschei-
nungsjahr		andere Autoren
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach978-3-319-47O14-6
(3-319-47O14-O)		2016Naijun Zhan · Hengjun Zhao

Shuly Wintner