دانلود کتاب Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings
49,000 تومان
نرم افزار بررسی مدل: دوازدهمین کارگاه بین المللی SPIN، سانفرانسیسکو، کالیفرنیا، ایالات متحده آمریکا، 22-24 اوت، 2005. مجموعه مقالات
| موضوع اصلی | برنامه نویسی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 292 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 9783540281955 |
| نوبت چاپ | 1 |
| نویسنده | David Wagner (auth.), Patrice Godefroid (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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
نرم افزار بررسی مدل: دوازدهمین کارگاه بین المللی SPIN، سانفرانسیسکو، کالیفرنیا، ایالات متحده آمریکا، 22-24 اوت، 2005. مجموعه مقالات
این کتاب مجموعه مقالات داوری دوازدهمین کارگاه بینالمللی SPIN در نرمافزار بررسی مدل، SPIN 2005 است که در سانفرانسیسکو، ایالات متحده آمریکا در آگوست 2005 برگزار شد.
15 مقاله کامل اصلاحشده ارائهشده به دقت بررسی شدند و انتخاب از 45 ارسالی؛ علاوه بر این، 4 مقاله ارائه ابزار انتخاب شده از 6 ارسالی وجود دارد. این مقالات در بخشهای موضوعی در مورد نمایش حالت و انتزاع، پرداختن به همزمانی، پرداختن به دادههای پیچیده، بررسی ویژگیهای زمانی، و بررسی امنیت و ویژگیهای زمان واقعی سازماندهی شدهاند.
This book constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held in San Francisco, USA in August 2005.
The 15 revised full papers presented were carefully reviewed and selected from 45 submissions; in addition there are 4 tool presentation papers selected from 6 submissions. The papers are organized in topical sections on state representation and abstraction, dealing with concurrency, dealing with complex data, checking temporal properties, and checking security and real-time properties.
برای فرستادن دیدگاه، باید وارد شده باشید.
محصولات مرتبط
دانلود کتاب Hands-On Blockchain for Python Developers: Gain blockchain programming skills to build decentralized applications using Python
| موضوع اصلی | کامپیوتر - برنامه نویسی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Packt Publishing |
| تعداد صفحه | 450 / 436 |
| حجم فایل | 14.16 مگابایت |
| کد کتاب | 1788627857 , 9781788627856 |
نقد و بررسیها
هنوز بررسیای ثبت نشده است.