دانلود کتاب Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings
| عنوان فارسی | فناوری خودکار برای تأیید و تجزیه و تحلیل: هجدهمین سمپوزیوم بین المللی، ATVA 2020، هانوی، ویتنام، 19 تا 23 اکتبر 2020، مجموعه مقالات |
|---|---|
| عنوان اصلی | Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings |
| ویرایش | [1st ed.] |
| ناشر | Springer International Publishing;Springer |
| نویسنده | Dang Van Hung, Oleg Sokolsky |
| ISBN | 9783030591519, 9783030591526 |
| سال نشر | 2020 |
| زبان | English |
| تعداد صفحات | XIV, 574 [575] |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 19 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد