Visi 1 Naijun Zhan izlaidumi pie Paperback Book un H... Book
Kategorijas
Cits
Klientu apkalpošana
EUR
![Cover for Naijun Zhan · Formal Verification of Simulink / Stateflow Diagrams: A Deductive Approach (Hardcover Book) [1st ed. 2017 edition] (2016)](https://imusic.b-cdn.net/images/item/original/146/9783319470146.jpg?naijun-zhan-2016-formal-verification-of-simulink-stateflow-diagrams-a-deductive-approach-hardcover-book&class=scaled&v=1626144150)