لامابوک
  • صفحه اصلی
  • کتاب‌ها
  • Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

خرید و دانلود نسخه کامل کتاب Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

تأیید صحت رایانه: 32 مین کنفرانس بین المللی ، CAV 2020 ، لس آنجلس ، کالیفرنیا ، ایالات متحده ، 21 تا 24 ژوئیه ، 2020 ، مجموعه مقالات ، قسمت اول

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

نویسنده: Shuvendu K. Lahiri; Chao Wang

ناشر: Springer

سال انتشار: 2020

تعداد صفحات: 648 [682]

زبان: English

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

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

111,000 تومان 77,000 تومان