دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Static Analysis: 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings
دانلود کتاب تجزیه و تحلیل استاتیک: بیست و نهمین سمپوزیوم بین المللی، SAS 2022، اوکلند، نیوزلند، 5 تا 7 دسامبر 2022، مجموعه مقالات
مشخصات کتاب
Static Analysis: 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings
ویرایش:
نویسندگان: Gagandeep Singh. Caterina Urban
سری: Lecture Notes in Computer Science, 13790
ISBN (شابک) : 3031223071, 9783031223075
ناشر: Springer
سال نشر: 2022
تعداد صفحات: 481
[482]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 16 Mb
قیمت کتاب (تومان) : 72,000
در صورت تبدیل فایل کتاب Static Analysis: 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تجزیه و تحلیل استاتیک: بیست و نهمین سمپوزیوم بین المللی، SAS 2022، اوکلند، نیوزلند، 5 تا 7 دسامبر 2022، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تجزیه و تحلیل استاتیک: بیست و نهمین سمپوزیوم بین المللی، SAS 2022، اوکلند، نیوزلند، 5 تا 7 دسامبر 2022، مجموعه مقالات
این کتاب مجموعه مقالات داوری بیست و نهمین سمپوزیوم
بینالمللی تحلیل استاتیک، SAS 2022 است که در اوکلند، نیوزلند،
در دسامبر 2022 برگزار شد.
18 مقاله کامل شامل در این کتاب به دقت بررسی و از بین 43 مورد ارسالی انتخاب شد. تجزیه و تحلیل استاتیک به طور گسترده ای به عنوان یک ابزار اساسی برای تأیید برنامه، تشخیص اشکال، بهینه سازی کامپایلر، درک برنامه و نگهداری نرم افزار شناخته شده است. این مقالات به پیشرفت های نظری، عملی و کاربردی در این منطقه می پردازند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the
29th International Symposium on Static Analysis, SAS 2022, held
in Auckland, New Zealand, in December 2022.
The 18 full papers included in this book were carefully reviewed and selected from 43 submissions. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers deal with theoretical, practical and application advances in the area.
