دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings
دانلود کتاب تأیید، بررسی مدل، و تفسیر چکیده: بیست و چهارمین کنفرانس بین المللی، VMCAI 2023، بوستون، MA، ایالات متحده آمریکا، 16-17 ژانویه 2023، مجموعه مقالات
مشخصات کتاب
Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings
ویرایش: نویسندگان: Cezara Dragoi, Michael Emmi, Jingbo Wang سری: Lecture Notes in Computer Science, 13881 ISBN (شابک) : 3031249496, 9783031249495 ناشر: Springer سال نشر: 2023 تعداد صفحات: 399 [400] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 17 Mb
قیمت کتاب (تومان) : 38,000
در صورت تبدیل فایل کتاب Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تأیید، بررسی مدل، و تفسیر چکیده: بیست و چهارمین کنفرانس بین المللی، VMCAI 2023، بوستون، MA، ایالات متحده آمریکا، 16-17 ژانویه 2023، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
