دانلود کتاب Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings
by Vijay Ganesh
|
عنوان فارسی: تأیید صحت کامپیوتر: 23rd کنفرانس بین المللی، CAV 2011، Snowbird، UT، USA، 14 تا 20 ژوئیه 2011. پرونده ها |