Naijun Zhan - Böcker

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

Symposium on Real-Time and Hybrid Systems

Av Cliff Jones, Ji Wang, Naijun Zhan

Häftad, Engelska, 2018

739 kr

Skickas inom 10-15 vardagar
Marieke Huisman, Corina Păsăreanu, Naijun Zhan, Corina Pasareanu, Corina Păsăreanu, Corina P¿s¿reanu - Formal Methods, Häftad

Formal Methods

Av Marieke Huisman, Corina Păsăreanu, Naijun Zhan, Corina Pasareanu, Corina Păsăreanu, Corina P¿s¿reanu

Häftad, Engelska, 2021

1 599 kr

Skickas inom 10-15 vardagar
Naijun Zhan, Shuling Wang, Hengjun Zhao - Formal Verification of Simulink/Stateflow Diagrams, Inbunden

Formal Verification of Simulink/Stateflow Diagrams

Av Naijun Zhan, Shuling Wang, Hengjun Zhao

Inbunden, Engelska, 2016

1 619 kr

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

Dependable Software Engineering: Theories, Tools, and Applications

Av Martin Fränzle, Deepak Kapur, Naijun Zhan

Häftad, Engelska, 2016

709 kr

Skickas inom 10-15 vardagar
Naijun Zhan, Shuling Wang, Hengjun Zhao - Formal Verification of Simulink/Stateflow Diagrams, Häftad

Formal Verification of Simulink/Stateflow Diagrams

Av Naijun Zhan, Shuling Wang, Hengjun Zhao

Häftad, Engelska, 2018

1 619 kr

Skickas inom 10-15 vardagar
  • Nyhet
Étienne André, Jingyi Wang, Naijun Zhan - Formal Methods and Software Engineering, Häftad

Formal Methods and Software Engineering

Av Étienne André, Jingyi Wang, Naijun Zhan

Häftad, Engelska, 2025

1 079 kr

Skickas inom 10-15 vardagar