Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings
Editat de Deepak D'Souza et al.
4 oct 2017
Paperback
Preț: 342.65 lei 428.31 lei
6-8 săpt.
-20%