دانلود کتاب Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers … Programming and Software Engineering)
49,000 تومان
روش های رسمی برای سیستم های بحرانی صنعتی: سیزدهمین کارگاه بین المللی، FMICS 2008، L’Aquila، ایتالیا، 15-16 سپتامبر 2008، مقالات منتخب اصلاح شده … برنامه نویسی و مهندسی نرم افزار)
| موضوع اصلی | فن آوری |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| تعداد صفحه | 233 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 3642032397,9783642032394 |
| نوبت چاپ | 1 |
| نویسنده | Alessandro Fantechi, Darren Cofer |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2009 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
روش های رسمی برای سیستم های بحرانی صنعتی: سیزدهمین کارگاه بین المللی، FMICS 2008، L’Aquila، ایتالیا، 15-16 سپتامبر 2008، مقالات منتخب اصلاح شده … برنامه نویسی و مهندسی نرم افزار)
این کتاب مجموعه مقالات پس از کارگاه آموزشی سیزدهمین کارگاه بینالمللی روشهای رسمی برای سیستمهای بحرانی صنعتی، FMICS 2008 است که در لاکویلا، ایتالیا، در سپتامبر 2008 برگزار شد – همراه با ASE 2008، بیست و سومین کنفرانس بینالمللی نرمافزارهای خودکار. مهندسی. 14 مقاله کامل اصلاح شده ارائه شده همراه با چکیده 3 ارائه دعوت شده و 2 ارائه کوتاه معرفی کننده پانل با دقت از 36 ارسال اولیه انتخاب شدند. این مقالات در تلاش برای ترویج تحقیق و توسعه برای بهبود روشها و ابزارهای رسمی برای کاربردهای صنعتی هستند. آنها موضوعاتی مانند بررسی مدل، آزمایش، تأیید نرم افزار، عملکرد بلادرنگ و مطالعات موردی صنعتی را پوشش می دهند.
This book constitutes the thoroughly refereed post-workshop proceedings of the 13th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2008, held in L’Aquila, Italy, in September 2008 – colocated with ASE 2008, the 23rd International Conference on Automated Software Engineering. The 14 revised full papers presented together with the abstracts of 3 invited presentations and 2 short presentations introducing the panel were carefully selected from 36 initial submissions. The papers strive to promote research and development for the improvement of formal methods and tools for industrial applications. They cover topics such as model checking, testing, software verification, real-time performance, and industrial case studies.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.