دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings
دانلود کتاب تجزیه و تحلیل استاتیک: بیست و ششمین سمپوزیوم بین المللی، SAS 2019، پورتو، پرتغال، 8 تا 11 اکتبر 2019، مجموعه مقالات
مشخصات کتاب
Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings
ویرایش: [1st ed. 2019]
نویسندگان: Bor-Yuh Evan Chang
سری: Lecture Notes in Computer Science 11822
ISBN (شابک) : 9783030323035, 9783030323042
ناشر: Springer International Publishing
سال نشر: 2019
تعداد صفحات: XIV, 481
[484]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 20 Mb
قیمت کتاب (تومان) : 34,000
در صورت تبدیل فایل کتاب Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تجزیه و تحلیل استاتیک: بیست و ششمین سمپوزیوم بین المللی، SAS 2019، پورتو، پرتغال، 8 تا 11 اکتبر 2019، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تجزیه و تحلیل استاتیک: بیست و ششمین سمپوزیوم بین المللی، SAS 2019، پورتو، پرتغال، 8 تا 11 اکتبر 2019، مجموعه مقالات
این کتاب مجموعه مقالات داوری بیست و ششمین سمپوزیوم بین‌المللی
تحلیل استاتیک، SAS 2019، در پورتو، پرتغال، در اکتبر 2019
برگزار شد.
20 مقاله منظم ارائه شده در این کتاب با دقت بررسی و از 50 مورد
ارسالی انتخاب شدند. .
مقالات در بخش های موضوعی در مورد اشاره گر و جریان داده گروه
بندی می شوند. زبان ها و تصمیم پذیری؛ عددی؛ روندها: اطمینان از
یادگیری ماشینی؛ سنتز و امنیت؛ و خواص زمانی و خاتمه.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 26th
International Symposium on Static Analysis, SAS 2019, held in
Porto, Portugal, in October 2019.
The 20 regular papers presented in this book were carefully
reviewed and selected from 50 submissions.
The papers are grouped in topical sections on pointers and
dataflow; languages and decidability; numerical; trends:
assuring machine learning; synthesis and security; and
temporal properties and termination.
