Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings
Editat de Zhe Hou et al.
14 oct 2021
Paperback
Preț: 461.25 lei 576.57 lei
3-5 săpt. | 4-10 zile
-20%