

خرید و دانلود نسخه کامل کتاب Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings
80,500 تومان قیمت اصلی 80,500 تومان بود.43,000 تومانقیمت فعلی 43,000 تومان است.
تعداد فروش: 70
عنوان فارسی |
تجزیه و تحلیل استاتیک: یازدهمین سمپوزیوم بین المللی، SAS 2004، ورونا، ایتالیا، 26-28 اوت 2004، مجموعه مقالات |
---|---|
عنوان اصلی | Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings |
ناشر | |
نویسنده | Giocobazzi R. |
ISBN | 3540278648 |
سال نشر | 2008 |
زبان | English |
تعداد صفحات | 406 |
دسته | کنفرانس ها و همایش های بین المللی |
فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
حجم فایل | 8 مگابایت |
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
این کتاب مجموعه مقالات داوری یازدهمین سمپوزیوم بینالمللی آنالیز استاتیک، SAS 2004 است که در ورونا، ایتالیا در آگوست 2004 برگزار شد. 23 مقاله کامل اصلاحشده ارائه شده همراه با مقاله دعوت شده و چکیدههای 3 سخنرانی دعوت شده با دقت بررسی و از 63 مورد انتخاب شدند. ارسالی ها مقالات در بخش های موضوعی در مورد تأیید برنامه و سیستم ها، امنیت و ایمنی، تجزیه و تحلیل اشاره گر، تفسیر و الگوریتم های انتزاعی، تجزیه و تحلیل شکل، دامنه انتزاعی و ساختارهای داده، تجزیه و تحلیل شکل و منطق، و تجزیه و تحلیل پایان سازماندهی شده اند.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.