لامابوک
  • صفحه اصلی
  • کتاب‌ها
  • Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, ... Computer Science and General Issues)
Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, ... Computer Science and General Issues)

خرید و دانلود نسخه کامل کتاب Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, ... Computer Science and General Issues)

تأیید، بررسی مدل، و تفسیر چکیده: بیست و یکمین کنفرانس بین المللی، VMCAI 2020، نیواورلئان، لس آنجلس، ایالات متحده آمریکا، 16–21 ژانویه 2020، ... علوم کامپیوتر و مسائل عمومی)

Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, ... Computer Science and General Issues)

نویسنده: Dirk Beyer (editor), Damien Zufferey (editor)

ناشر: Springer

سال انتشار: 2020

تعداد صفحات: 488 [484]

زبان: English

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

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

102,000 تومان 69,000 تومان