دانلود کتاب Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004. Proceedings (به فارسی: تجزیه و تحلیل استاتیک: یازدهمین سمپوزیوم بین المللی، SAS 2004، ورونا، ایتالیا، 26-28 اوت 2004. مجموعه مقالات) نوشته شده توسط «Ehud Shapiro (auth.) – Roberto Giacobazzi (eds.)»
اطلاعات کتاب تجزیه و تحلیل استاتیک: یازدهمین سمپوزیوم بین المللی، SAS 2004، ورونا، ایتالیا، 26-28 اوت 2004. مجموعه مقالات
موضوع اصلی: کنفرانس ها و سمپوزیوم های بین المللی
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Ehud Shapiro (auth.) – Roberto Giacobazzi (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2004
تعداد صفحه: 396
حجم کتاب: 5 مگابایت
کد کتاب: 3540227911 , 9783540227915 , 9783540278641
نوبت چاپ: 1
توضیحات کتاب تجزیه و تحلیل استاتیک: یازدهمین سمپوزیوم بین المللی، SAS 2004، ورونا، ایتالیا، 26-28 اوت 2004. مجموعه مقالات
این کتاب مجموعه مقالات داوری یازدهمین سمپوزیوم بین‌المللی تحلیل استاتیک، SAS 2004 است که در ورونا، ایتالیا در آگوست 2004 برگزار شد.
23 مقاله کامل اصلاح‌شده همراه با مقاله دعوت شده و چکیده‌های آن ارائه شد. 3 سخنرانی دعوت شده با دقت بررسی و از بین 63 مورد ارسالی انتخاب شدند. مقالات در بخش های موضوعی در مورد تأیید برنامه و سیستم، امنیت و ایمنی، تجزیه و تحلیل اشاره گر، تفسیر و الگوریتم های انتزاعی، تجزیه و تحلیل شکل، دامنه انتزاعی و ساختارهای داده، تجزیه و تحلیل شکل و منطق، و تجزیه و تحلیل پایان سازماندهی شده اند.
This book constitutes the refereed proceedings of the 11th International Symposium on Static Analysis, SAS 2004, held in Verona, Italy in August 2004.
The 23 revised full papers presented with an invited paper and abstracts of 3 invited talks were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on program and systems verification, security and safety, pointer analysis, abstract interpretation and algorithms, shape analysis, abstract domain and data structures, shape analysis and logic, and termination analysis.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.