دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
دانلود کتاب تجزیه و تحلیل استاتیک: بیست و پنجمین سمپوزیوم بین المللی، SAS 2018، فرایبورگ، آلمان، 29 تا 31 اوت 2018، مجموعه مقالات
مشخصات کتاب
Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
ویرایش: [1st ed.]
نویسندگان: Andreas Podelski
سری: Lecture Notes in Computer Science 11002
ISBN (شابک) : 9783319997247
ناشر: Springer International Publishing
سال نشر: 2018
تعداد صفحات: X, 445
[456]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 15 Mb
قیمت کتاب (تومان) : 59,000
در صورت تبدیل فایل کتاب Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تجزیه و تحلیل استاتیک: بیست و پنجمین سمپوزیوم بین المللی، SAS 2018، فرایبورگ، آلمان، 29 تا 31 اوت 2018، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تجزیه و تحلیل استاتیک: بیست و پنجمین سمپوزیوم بین المللی، SAS 2018، فرایبورگ، آلمان، 29 تا 31 اوت 2018، مجموعه مقالات
این کتاب مجموعه مقالات داوری بیست و پنجمین سمپوزیوم
بین‌المللی تحلیل استاتیک، SAS 2018، در فرایبورگ، آلمان، در
آگوست 2018 برگزار شد.
18 مقاله ارائه‌شده در این جلد به دقت بررسی و از بین 37 مورد
ارسالی انتخاب شدند. مشارکت‌ها موضوعات مختلف چند رشته‌ای را در
حوزه‌های انتزاعی پوشش می‌دهند: تأیید برنامه، تشخیص اشکال،
بهینه‌سازی کامپایلر، درک برنامه، و نگهداری نرم‌افزار.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 25th
International Static Analysis Symposium, SAS 2018, held in
Freiburg, Germany, in August 2018.
The 18 papers presented in this volume were carefully
reviewed and selected from 37 submissions. The contributions
cover a variety of multi-disciplinary topics in abstract
domains: program verication, bug detection, compiler
optimization, program understanding, and software
maintenance.
