computers > programming / compilers
Computer Aided Verification: 29th International Conference, Cav 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Imported Edition - Ships in 12-14 Days
Free Shipping in India on orders above Rs. 500