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ț: 511.08 lei 638.85 lei
43-57 zile
-20%