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ț: 713.39 lei 891.73 lei
43-57 zile
-20%
Cărți de Naijun Zhan
Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
Editat de Cliff Jones et al.
29 sep 2018
Paperback
Preț: 324.74 lei 405.93 lei
43-57 zile
-20%
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Autor Naijun Zhan et al.
14 noi 2016
Hardback
Preț: 716.92 lei 874.29 lei
43-57 zile
-18%
Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings
Editat de Martin Fränzle et al.
6 oct 2016
Paperback
Preț: 327.98 lei 409.97 lei
43-57 zile
-20%