computers > software development & engineering / general
Automated Technology for Verification and Analysis: 13th International Symposium, Atva 2015, Shanghai, China, October 12-15, 2015, Proceedings
Imported Edition - Ships in 12-14 Days
Free Shipping in India on orders above Rs. 500