Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings
Editat de Lu Feng et al.
6 oct 2021
Paperback
Preț: 486.04 lei 607.55 lei
43-57 zile
-20%
Cărți de Dana Fisman
Tools and Algorithms for the Construction and Analysis of Systems
Editat de Dana Fisman et al.
30 mar 2022
Paperback
Preț: 255.73 lei 319.67 lei
22-36 zile | 6-12 zile
-20%