The Mega Online Bookstore
Welcome Guest | Login | Home | Contact Us

Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings

Formal Methods in Computer-Aided Design Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings,3540651918,9783540651918
58 %

Formal Methods in Compute ...

Ganesh Gopalakr ...

List Price: $ 129.00

Our Price: $ 54.51