computers > programming / general
Computer Aided Verification: 26th International Conference, Cav 2014, Held as Part of the Vienna Summer of Logic, Vsl 2014, Vienna, Austria, July 1
Imported Edition - Ships in 12-14 Days
Free Shipping in India on orders above Rs. 500