Symposium on Real-Time and Hybrid Systems
Editat de Cliff Jones et al.
29 sep 2018
Paperback
Preț: 320.93 lei 401.17 lei
43-57 zile
-20%
Cărți de Naijun Zhan
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings
Editat de Marieke Huisman et al.
10 noi 2021
Paperback
Preț: 699.94 lei 874.94 lei
43-57 zile
-20%
Formal Verification of Simulink/Stateflow Diagrams
Autor Naijun Zhan et al.
29 iun 2018
Paperback
Preț: 701.49 lei 855.47 lei
43-57 zile
-18%
Dependable Software Engineering: Theories, Tools, and Applications
Editat de Martin Fränzle et al.
6 oct 2016
Paperback
Preț: 324.41 lei 405.51 lei
43-57 zile
-20%