دانلود کتاب Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings
49,000 تومان
روش های رسمی و مهندسی نرم افزار: هشتمین کنفرانس بین المللی روش های مهندسی رسمی، ICFEM 2006، ماکائو، چین، 1-3 نوامبر 2006. مجموعه مقالات
| موضوع اصلی | فن آوری |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 792 |
| حجم فایل | 11 مگابایت |
| کد کتاب | 3540474609,9783540474609 |
| نوبت چاپ | 1 |
| نویسنده | Jifeng He (eds.), Zhiming Liu, Zhou Chaochen (auth.) |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2006 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
روش های رسمی و مهندسی نرم افزار: هشتمین کنفرانس بین المللی روش های مهندسی رسمی، ICFEM 2006، ماکائو، چین، 1-3 نوامبر 2006. مجموعه مقالات
این کتاب مجموعه مقالات داوری هشتمین کنفرانس بینالمللی روشهای مهندسی رسمی، ICFEM 2006، برگزار شده در ماکائو، چین، در نوامبر 2006 است.
38 مقاله کامل اصلاحشده همراه با سه سخنرانی اصلی ارائه شده است. از بین 108 مورد ارسالی به دقت بررسی و انتخاب شدند. این مقالات به تمام مسائل جاری در روش های رسمی و کاربردهای آنها در مهندسی نرم افزار می پردازد. آنها در بخش های موضوعی در مورد مشخصات و تأیید، نرم افزارهای اینترنتی و سیستم های مبتنی بر وب، سیستم های همزمان، ارتباطی، زمان بندی و احتمالاتی، شی گرایی و مؤلفه گرایی، آزمایش و بررسی مدل، ابزارها، تحمل خطا و امنیت، و همچنین مشخصات و پالایش.
This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006.
The 38 revised full papers presented together with three keynote talks were carefully reviewed and selected from 108 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification and verification, internetware and Web-based systems, concurrent, communicating, timing and probabilistic systems, object and component orientation, testing and model checking, tools, fault-tolerance and security, as well as specification and refinement.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.