Hoppa till sidans huvudinnehåll

Naijun Zhan – författare

Visar alla böcker från författaren .
6 produkter
Cliff Jones, Ji Wang, Naijun Zhan - Symposium on Real-Time and Hybrid Systems, Häftad

729 kr

Skickas inom 10-15 vardagar

Marieke Huisman, Corina Păsăreanu, Naijun Zhan - Formal Methods, Häftad

1 589 kr

Skickas inom 10-15 vardagar

Naijun Zhan, Shuling Wang, Hengjun Zhao - Formal Verification of Simulink/Stateflow Diagrams, Inbunden

1 609 kr

Skickas inom 10-15 vardagar

Martin Fränzle, Deepak Kapur, Naijun Zhan - Dependable Software Engineering: Theories, Tools, and Applications, Häftad

729 kr

Skickas inom 10-15 vardagar

Naijun Zhan, Shuling Wang, Hengjun Zhao - Formal Verification of Simulink/Stateflow Diagrams, Häftad

1 609 kr

Skickas inom 10-15 vardagar

Étienne André, Jingyi Wang, Naijun Zhan - Formal Methods and Software Engineering, Häftad

1 069 kr

Skickas inom 5-8 vardagar