لامابوک
  • صفحه اصلی
  • کتاب‌ها
  • Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

خرید و دانلود نسخه کامل کتاب Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

تأیید به کمک رایانه: بیست و هشتمین کنفرانس بین المللی، CAV 2016، تورنتو، ON، کانادا، 17-23 ژوئیه، 2016، مجموعه مقالات، قسمت اول

Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

نویسنده: Swarat Chaudhuri, Azadeh Farzan (eds.)

ناشر: Springer International Publishing

سال انتشار: 2016

تعداد صفحات: 549

زبان: English

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

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

92,000 تومان 60,000 تومان