Cărți de Naijun Zhan

Formal Methods and Software Engineering

Lecture Notes in Computer Science, nr. 16229

Editat de Étienne André et al.

12 noi 2025

Preț: 483^.92 lei 604^.89 lei

3-5 săpt.

-20%

Symposium on Real-Time and Hybrid Systems

Lecture Notes in Computer Science, nr. 11180

Editat de Cliff Jones et al.

29 sep 2018

Preț: 333^.74 lei 417^.18 lei

6-8 săpt.

-20%

Formal Methods

Lecture Notes in Computer Science, nr. 13047

Editat de Marieke Huisman et al.

10 noi 2021

Preț: 733^.77 lei 917^.20 lei

6-8 săpt.

-20%

Formal Verification of Simulink/Stateflow Diagrams

Autor Naijun Zhan et al.

14 noi 2016

Preț: 706^.81 lei 861^.97 lei

6-8 săpt.

-18%

Dependable Software Engineering: Theories, Tools, and Applications

Lecture Notes in Computer Science, nr. 9984

Editat de Martin Fränzle et al.

6 oct 2016

Preț: 324^.41 lei 405^.51 lei

6-8 săpt.

-20%