Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
Editat de Yu-Fang Chen et al.
6 oct 2019
Paperback
Preț: 338.63 lei 423.29 lei
6-8 săpt.
-20%