دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Automated technology for verification and analysis : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-21, 2021, proceedings
دانلود کتاب فناوری خودکار برای تأیید و تجزیه و تحلیل: نوزدهمین سمپوزیوم بین المللی ، ATVA 2021 ، Gold Coast ، QLD ، استرالیا ، 18-21 اکتبر ، 2021 ، مجموعه مقالات
مشخصات کتاب
Automated technology for verification and analysis : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-21, 2021, proceedings
ویرایش: نویسندگان: (Lecturer) Zhe Hou (editor), Vijay Ganesh (editor) سری: Lecture notes in computer science, 12971 ISBN (شابک) : 9783030888855, 3030888851 ناشر: Springer سال نشر: 2021 تعداد صفحات: [384] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 14 Mb
قیمت کتاب (تومان) : 87,000
در صورت تبدیل فایل کتاب Automated technology for verification and analysis : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-21, 2021, proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب فناوری خودکار برای تأیید و تجزیه و تحلیل: نوزدهمین سمپوزیوم بین المللی ، ATVA 2021 ، Gold Coast ، QLD ، استرالیا ، 18-21 اکتبر ، 2021 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
