دانلود کتاب Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings
49,000 تومان
تجزیه و تحلیل استاتیک: سیزدهمین سمپوزیوم بین المللی، SAS 2006، سئول، کره، 29-31 اوت 2006. مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 443 |
| حجم فایل | 5 مگابایت |
| کد کتاب | 3540377565,9783540377566 |
| نوبت چاپ | 1 |
| نویسنده | Kwangkeun Yi (eds.), Manuvir Das (auth.) |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2006 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
تجزیه و تحلیل استاتیک: سیزدهمین سمپوزیوم بین المللی، SAS 2006، سئول، کره، 29-31 اوت 2006. مجموعه مقالات
این کتاب مجموعه مقالات داوری سیزدهمین سمپوزیوم بین المللی آنالیز استاتیک، SAS 2006 است که در سئول، کره در آگوست 2006 برگزار شد.
23 مقاله کامل اصلاح شده ارائه شده است. به همراه چکیده 3 سخنرانی دعوت شده به دقت بررسی و از بین 80 مورد ارسالی انتخاب شد. این مقالات به تمام جنبه های تجزیه و تحلیل استاتیک از جمله تأیید برنامه و سیستم، تجزیه و تحلیل شکل و منطق، تجزیه و تحلیل خاتمه، تشخیص اشکال، بهینه سازی کامپایلر، نگهداری نرم افزار، امنیت و ایمنی، تفسیر و الگوریتم های انتزاعی، ساختارهای دامنه و داده انتزاعی، تجزیه و تحلیل اشاره گر، شکل می پردازند. تجزیه و تحلیل، و تجزیه و تحلیل جریان داده ها.
This book constitutes the refereed proceedings of the 13th International Symposium on Static Analysis, SAS 2006, held in Seoul, Korea in August 2006.
The 23 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 80 submissions. The papers address all aspects of static analysis including program and systems verification, shape analysis and logic, termination analysis, bug detection, compiler optimization, software maintenance, security and safety, abstract interpretation and algorithms, abstract domain and data structures, pointer analysis, shape analysis, and data flow analysis.
برای فرستادن دیدگاه، باید وارد شده باشید.
محصولات مرتبط
دانلود کتاب Data Privacy Management, Cryptocurrencies and Blockchain Technology: ESORICS 2018 International Workshops, DPM 2018 and CBT 2018, Barcelona, Spain, September 6-7, 2018, Proceedings
| نوع کالا | کتاب الکترونیکی |
|---|---|
| ناشر | Springer International Publishing |
| تعداد صفحه | 445 |
| حجم فایل | 15.80 مگابایت |
| کد کتاب | 3540784780 , 9783540784784 |
| نوبت چاپ | اولین ویرایش |
نقد و بررسیها
هنوز بررسیای ثبت نشده است.