خرید و دانلود نسخه کامل کتاب Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings

آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم. توضیحاتی در مورد کتاب این کتاب مجموعه مقالات داوری یازدهمین سمپوزیوم بین‌المللی آنالیز استاتیک، SAS 2004 است که در ورونا، ایتالیا در آگوست 2004 برگزار شد. 23 مقاله کامل اصلاح‌شده ارائه شده همراه با مقاله دعوت شده و چکیده‌های 3 سخنرانی دعوت شده با دقت بررسی و از 63 مورد انتخاب شدند. ارسالی ها مقالات در بخش های موضوعی در مورد تأیید برنامه و سیستم ها، امنیت و ایمنی، تجزیه و تحلیل اشاره گر، تفسیر و الگوریتم های انتزاعی، تجزیه و تحلیل شکل، دامنه انتزاعی و ساختارهای داده، تجزیه و تحلیل شکل و منطق، و تجزیه و تحلیل پایان سازماندهی شده اند.