خرید و دانلود نسخه کامل کتاب Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

تأیید به کمک رایانه: بیست و هفتمین کنفرانس بین المللی، CAV 2015، سانفرانسیسکو، کالیفرنیا، ایالات متحده آمریکا، 18-24 ژوئیه، 2015، مجموعه مقالات، قسمت اول

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

نویسنده: Daniel Kroening, Corina S. Păsăreanu (eds.)

ناشر: Springer International Publishing

سال انتشار: 2015

تعداد صفحات: XXIII, 677 [690]

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 34 مگابایت