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ț: 502.50 lei 628.12 lei
6-8 săpt.
-20%