خرید و دانلود نسخه کامل کتاب Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings
قیمت اصلی 72,500 تومان بود.35,000 تومانقیمت فعلی 35,000 تومان است.
تعداد فروش: 75
| عنوان فارسی |
تحلیل استاتیک: چهاردهمین سمپوزیوم بین المللی ، SAS 2007 ، کنگنس لینگبی ، دانمارک ، 22 تا 24 آگوست 2007. مجموعه مقالات |
|---|---|
| عنوان اصلی | Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Frank Tip (auth.), Hanne Riis Nielson, Gilberto Filé (eds.) |
| ISBN | 3540740600, 9783540740605 |
| سال نشر | 2007 |
| زبان | English |
| تعداد صفحات | 477 |
| دسته | کنفرانس ها و همایش های بین المللی |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 6 مگابایت |
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
هدف تجزیه و تحلیل استاتیک، توسعه اصول، تکنیک ها و ابزارهایی برای اعتبارسنجی ویژگی های برنامه ها، طراحی تبدیل برنامه ها بر اساس معناشناسی و به دست آوردن پیاده سازی با کارایی بالا از زبان های برنامه نویسی سطح بالا است. در طول سال ها، مجموعه سمپوزیوم های تحلیل ایستا به عنوان محل اصلی ارائه و بحث در مورد پیشرفت های نظری، عملی و نوآورانه در این حوزه عمل کرده است. این جلد شامل مقالات پذیرفته شده برای ارائه در چهاردهمین سمپوزیوم بین المللی تجزیه و تحلیل استاتیک (SAS 2007) است. این جلسه، 22 تا 24 اوت 2007، در دانشگاه فنی دانمارک (DTU) در Kongens L-gby، دانمارک برگزار شد. در پاسخ به فراخوان مقاله، 85 مقاله ارسالی دریافت شد. هر مقاله توسط حداقل 3 کارشناس بررسی شد و بر اساس این گزارش ها، 26 مقاله پس از یک هفته بحث الکترونیکی فشرده با استفاده از سیستم کنفرانس EasyChair انتخاب شد. علاوه بر این 26 مقاله، این جلد همچنین شامل مشارکت های دو سخنران دعوت شده است: FrankTip (مرکز تحقیقاتی IBMT.J.Watson، ایالات متحده آمریکا) و آلن مایکرافت (دانشگاه کمبریج، انگلستان). از طرف کمیته برنامه، روسای برنامه از همه نویسندگانی که آثار خود را به کنفرانس ارسال کردند و همچنین از همه داوران خارجی که برای فرآیند انتخاب ضروری بوده اند تشکر می کنند. تشکر ویژه از TerkelTolstrup و J¨ org Bauer که در تحویل مقالات ارسالی و سازماندهی ساختار این جلد کمک کردند. همچنین مایلیم از اعضای کمیته سازماندهی در DTU برای کار بزرگشان تشکر کنیم. در نهایت می خواهیم از دانشکده دکتری ITMAN در DTU برای ?حمایت مالی
تشکر کنیم
نقد و بررسی‌ها
هنوز بررسی‌ای ثبت نشده است.