Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
Editat de Bernd Finkbeiner et al.
22 noi 2015
Paperback
Preț: 344.27 lei 430.34 lei
6-8 săpt.
-20%