دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I
دانلود کتاب تأیید به کمک رایانه: سی و چهارمین کنفرانس بین المللی، CAV 2022، حیفا، اسرائیل، 7 تا 10 اوت 2022، مجموعه مقالات، قسمت اول
مشخصات کتاب
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I
ویرایش:
نویسندگان: Sharon Shoham. Yakir Vizel
سری: Lecture Notes in Computer Science, 13371
ISBN (شابک) : 3031131843, 9783031131844
ناشر: Springer
سال نشر: 2022
تعداد صفحات: 563
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 17 مگابایت
قیمت کتاب (تومان) : 67,000
کتاب مورد نظر موجود نمی باشد
در صورت تبدیل فایل کتاب Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تأیید به کمک رایانه: سی و چهارمین کنفرانس بین المللی، CAV 2022، حیفا، اسرائیل، 7 تا 10 اوت 2022، مجموعه مقالات، قسمت اول نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
