لامابوک
  • صفحه اصلی
  • کتاب‌ها
  • 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, Part II
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, Part II

خرید و دانلود نسخه کامل کتاب 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, Part II

تأیید به کمک رایانه: سیامین کنفرانس بین المللی، 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, Part II

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

ناشر: Springer International Publishing

سال انتشار: 2018

تعداد صفحات: XIX, 703 [553]

زبان: English

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

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

109,000 تومان 72,000 تومان