Filtre:

Cărți de Naijun Zhan

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.

29 iun 2018

Preț: 701^.49 lei 855^.47 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%