دانلود کتاب 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 |
| ناشر | Springer |
| نویسنده | Hana Chockler, Georg Weissenbacher |
| ISBN | 9783319961446, 2018948145 |
| سال نشر | 2018 |
| زبان | English |
| تعداد صفحات | 709 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 31 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد
نحوه دریافت کتاب
این کتاب نسخه زبان اصلی است و ترجمه فارسی نیست.بعد از تکمیل فرایند خرید می توانید کتاب را دانلود نمایید. درصورت نیاز به تغییر فرمت کتاب به پشتیبان اطلاع دهید.کتاب های تصادفی