دانلود کتاب Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
by Daniel Kroening
|
عنوان فارسی: به کمک کامپیوتر تأیید: 27 کنفرانس بین المللی، CAV 2015، سان فرانسیسکو، کالیفرنیا، ایالات متحده، ژوئیه 18-24، 2015، مجموعه مقالات، بخش اول |