Buy Used and New Shuling Wang Books

Results for Shuling Wang

Showing 1 to 1 of 1 results
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach by Naijun Zhan,Shuling Wang,Hengjun Zhao

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

by Naijun Zhan,Shuling Wang,Hengjun Zhao


ISBN 13: 9783319836386

Format: Paperback (276 pages)
Publisher: Springer
Published: 29 Jun 2018

Save for later

 
New : $117.00  
New : $117.00