دانلود کتاب Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
by Swarat Chaudhuri
|
عنوان فارسی: تأیید صحت کامپیوتر: 28th International Conference، CAV 2016، Toronto، ON، Canada، July 17-23، 2016، Proceedings، Part I |