لامابوک
  • صفحه اصلی
  • کتاب‌ها
  • Computer Aided Verification. 30th International Conference, CAV 2018 Held as Part of the Federated Logic Conference, FloC 2018 Oxford, UK, July 14–17, 2018 Proceedings
Computer Aided Verification. 30th International Conference, CAV 2018 Held as Part of the Federated Logic Conference, FloC 2018 Oxford, UK, July 14–17, 2018 Proceedings

خرید و دانلود نسخه کامل کتاب Computer Aided Verification. 30th International Conference, CAV 2018 Held as Part of the Federated Logic Conference, FloC 2018 Oxford, UK, July 14–17, 2018 Proceedings

تأیید به کمک رایانه سی امین کنفرانس بین المللی، CAV 2018 به عنوان بخشی از کنفرانس منطق فدرال، FloC 2018 آکسفورد، بریتانیا، 14 تا 17 ژوئیه، 2018 مجموعه مقالات برگزار شد

Computer Aided Verification. 30th International Conference, CAV 2018 Held as Part of the Federated Logic Conference, FloC 2018 Oxford, UK, July 14–17, 2018 Proceedings

نویسنده: Hana Chockler, Georg Weissenbacher

ناشر: Springer

سال انتشار: 2018

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

زبان: English

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

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

116,000 تومان 80,000 تومان