دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings
دانلود کتاب تجزیه و تحلیل استاتیک: دوازدهمین سمپوزیوم بین المللی، SAS 2005، لندن، انگلستان، 7-9 سپتامبر 2005. مجموعه مقالات
مشخصات کتاب
Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings
ویرایش: [1 ed.] نویسندگان: Samson Abramsky (auth.), Chris Hankin, Igor Siveroni (eds.) سری: Lecture Notes in Computer Science 3672 : Programming and Software Engineering ISBN (شابک) : 3540285849, 9783540285847 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2005 تعداد صفحات: 374 [376] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 30,000
در صورت تبدیل فایل کتاب Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تجزیه و تحلیل استاتیک: دوازدهمین سمپوزیوم بین المللی، SAS 2005، لندن، انگلستان، 7-9 سپتامبر 2005. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تجزیه و تحلیل استاتیک: دوازدهمین سمپوزیوم بین المللی، SAS 2005، لندن، انگلستان، 7-9 سپتامبر 2005. مجموعه مقالات
این کتاب مجموعه مقالات داوری دوازدهمین سمپوزیوم بین‌المللی تحلیل استاتیک، SAS 2005، در لندن، انگلستان در آگوست 2005 برگزار شد، که هم‌زمان با سمپوزیوم بین‌المللی سنتز و تحول برنامه‌های مبتنی بر منطق (LOPSTR 2005) برگزار شد.
22 مقاله کامل اصلاح شده ارائه شده همراه با چکیده 2 سخنرانی
دعوت شده با دقت بررسی و از 66 مورد ارسالی انتخاب شدند. این
مقالات به تمام جنبه های تحلیل استاتیک از جمله تأیید برنامه و
سیستم، تجزیه و تحلیل شکل و منطق، تجزیه و تحلیل پایان، امنیت و
ایمنی، تفسیر و الگوریتم های انتزاعی، دامنه انتزاعی و
ساختارهای داده، تجزیه و تحلیل اشاره گر، تجزیه و تحلیل شکل، و
تجزیه و تحلیل جریان داده می پردازند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 12th International Symposium on Static Analysis, SAS 2005, held in London, UK in August 2005, co-located with the International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2005).
The 22 revised full papers presented together with the
abstracts of 2 invited talks were carefully reviewed and
selected from 66 submissions. The papers address all aspects
of static analysis including program and systems
verification, shape analysis and logic, termination analysis,
security and safety, abstract interpretation and algorithms,
abstract domain and data structures, pointer analysis, shape
analysis, and data flow analysis.
