دانلود کتاب Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings
49,000 تومان
نرم افزار بررسی مدل: چهاردهمین کارگاه بین المللی SPIN، برلین، آلمان، 1-3 ژوئیه، 2007. مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 285 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 3540733698,9783540733690 |
| نوبت چاپ | 1 |
| نویسنده | Dennis Dams (auth.), Dragan Bošnački, Stefan Edelkamp (eds.) |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2007 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
نرم افزار بررسی مدل: چهاردهمین کارگاه بین المللی SPIN، برلین، آلمان، 1-3 ژوئیه، 2007. مجموعه مقالات
این کتاب مجموعه مقالات داوری چهاردهمین کارگاه بین المللی SPIN در نرم افزار بررسی مدل، SPIN 2007 است که در برلین، آلمان در ژوئیه 2007 همراه با نوزدهمین کنفرانس بین المللی تأیید به کمک رایانه، CAV 2007 برگزار شد.
14 مقاله کامل اصلاح شده ارائه شده همراه با 4 مقاله ارائه ابزار و چکیده 2 سخنرانی دعوت شده با دقت بررسی و از بین 39 مورد ارسالی انتخاب شدند. مقالات در بخشهای موضوعی در بررسی مدل مستقیم، کاهش سفارش جزئی، تجزیه و تحلیل برنامه، پیشرفتهای اکتشافی، مدلسازی و مطالعات موردی، و همچنین نمایش ابزار سازماندهی شدهاند.
This book constitutes the refereed proceedings of the 14th International SPIN workshop on Model Checking Software, SPIN 2007, held in Berlin, Germany in July 2007 in conjunction with the 19th International Conference on Computer Aided Verification, CAV 2007.
The 14 revised full papers presented together with 4 tool presentation papers and the abstracts of 2 invited talks were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, as well as tool demonstrations.
برای فرستادن دیدگاه، باید وارد شده باشید.
محصولات مرتبط
دانلود کتاب 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 |
| نوبت چاپ | اولین ویرایش |
نقد و بررسیها
هنوز بررسیای ثبت نشده است.