Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings
Editat de Ahmed Bouajjani et al.
23 oct 2022
Paperback
Preț: 397.34 lei 496.68 lei
39-44 zile
-20%