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
6-8 săpt.
-20%
Cărți de Dana Fisman
Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II
Editat de Dana Fisman et al.
30 mar 2022
Paperback
Preț: 254.83 lei 318.54 lei
3-5 săpt. | 6-12 zile
-20%