دانلود کتاب Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings
49,000 تومان
تجزیه و تحلیل استاتیک: دوازدهمین سمپوزیوم بین المللی، SAS 2005، لندن، انگلستان، 7-9 سپتامبر 2005. مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 374 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 3540285849,9783540285847 |
| نوبت چاپ | 1 |
| نویسنده | Chris Hankin, Igor Siveroni (eds.), Samson Abramsky (auth.) |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2005 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 2005، لندن، انگلستان، 7-9 سپتامبر 2005. مجموعه مقالات
این کتاب مجموعه مقالات داوری دوازدهمین سمپوزیوم بینالمللی تحلیل استاتیک، SAS 2005، که در لندن، انگلستان در آگوست 2005 برگزار شد، به همراه سمپوزیوم بینالمللی سنتز و تحول برنامههای مبتنی بر منطق (LOPSTR 2005) برگزار شد.
22 مقاله کامل اصلاح شده ارائه شده همراه با چکیده 2 سخنرانی دعوت شده با دقت بررسی و از 66 مورد ارسالی انتخاب شدند. این مقالات به تمام جنبه های تجزیه و تحلیل استاتیک از جمله تأیید برنامه و سیستم، تجزیه و تحلیل شکل و منطق، تجزیه و تحلیل پایان، امنیت و ایمنی، تفسیر و الگوریتم های انتزاعی، دامنه انتزاعی و ساختارهای داده، تجزیه و تحلیل اشاره گر، تجزیه و تحلیل شکل، و تجزیه و تحلیل جریان داده می پردازند.<BR
This book constitutes the refereed proceedings of the 12th International Symposium on Static Analysis, SAS 2005, held in London, UK in August 2005, co-located with the International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2005).
The 22 revised full papers presented together with the abstracts of 2 invited talks were carefully reviewed and selected from 66 submissions. The papers address all aspects of static analysis including program and systems verification, shape analysis and logic, termination analysis, security and safety, abstract interpretation and algorithms, abstract domain and data structures, pointer analysis, shape analysis, and data flow analysis.
برای فرستادن دیدگاه، باید وارد شده باشید.
محصولات مرتبط
دانلود کتاب Blockchain – ICBC 2019: Second International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings
| نوع کالا | کتاب الکترونیکی |
|---|---|
| ناشر | Springer International Publishing |
| تعداد صفحه | 231 |
| حجم فایل | 14.04 مگابایت |
| کد کتاب | 3030234045 , 9783030234041 |
| نوبت چاپ | اولین ویرایش |
دانلود کتاب 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 |
| نوبت چاپ | اولین ویرایش |
نقد و بررسیها
هنوز بررسیای ثبت نشده است.