Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday Lecture Notes in Computer Science, nr. 11180 Editat de Cliff Jones et al. 29 sep 2018 Paperback Preț: 318.80 lei 398.50 lei 43-57 zile -20%
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings Lecture Notes in Computer Science, nr. 13047 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: A Deductive Approach Autor Naijun Zhan et al. 29 iun 2018 Paperback Preț: 697.67 lei 850.82 lei 43-57 zile -18%
Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings Lecture Notes in Computer Science, nr. 9984 Editat de Martin Fränzle et al. 6 oct 2016 Paperback Preț: 321.98 lei 402.47 lei 43-57 zile -20%