دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings
49,000 تومان
تأیید، بررسی مدل، و تفسیر چکیده: ششمین کنفرانس بین المللی، VMCAI 2005، پاریس، فرانسه، 17-19 ژانویه 2005. مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 483 |
| حجم فایل | 7 مگابایت |
| کد کتاب | 354024297X,9783540242970 |
| نوبت چاپ | 1 |
| نویسنده | Patrick Cousot (auth.), Radhia Cousot (eds.) |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
تأیید، بررسی مدل، و تفسیر چکیده: ششمین کنفرانس بین المللی، VMCAI 2005، پاریس، فرانسه، 17-19 ژانویه 2005. مجموعه مقالات
این کتاب مجموعه مقالات داوری ششمین کنفرانس بینالمللی تأیید، بررسی مدل، و تفسیر چکیده، VMCAI 2005 است که در ژانویه 2005 در پاریس، فرانسه برگزار شد.
27 مقاله کامل اصلاحشده با هم ارائه شدهاند. با یک مقاله دعوت شده به دقت بررسی و از بین 92 مقاله ارسالی انتخاب شدند. مقالات در بخش های موضوعی در مورد انتزاع عددی، تأیید، تجزیه و تحلیل پشته و شکل، بررسی مدل انتزاعی، بررسی مدل، تفسیر انتزاعی کاربردی، و بررسی مدل محدود سازماندهی شده اند.
The book constitutes the refereed proceedings of the 6th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2005, held in Paris, France in January 2005.
The 27 revised full papers presented together with an invited paper were carefully reviewed and selected from 92 submissions. The papers are organized in topical sections on numerical abstraction, verification, heap and shape analysis, abstract model checking, model checking, applied abstract interpretation, and bounded model checking.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.