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