Naijun Zhan

Visar alla böcker från författaren Naijun Zhan. Handla med fri frakt och snabb leverans.

1. 

   Symposium on Real-Time and Hybrid Systems

   2018

   • Häftad 571 kr
   • E-bok 739 kr
2. 

   Formal Methods

   2021

   • Häftad 1249 kr
   • E-bok 1634 kr
3. 

   Formal Verification of Simulink/Stateflow Diagrams

   2016

   • Inbunden 1268 kr
   • Häftad 1267 kr
4. 

   Dependable Software Engineering: Theories, Tools, and Applications

   2016

   • Häftad 572 kr
   • E-bok 718 kr
5. 

   Formal Verification of Simulink/Stateflow Diagrams

   2016

   • E-bok 1622 kr
6. 

   Formal Methods and Software Engineering

   2025

   • Häftad 843 kr
   • E-bok 1091 kr