دانلود کتاب Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings
49,000 تومان
روش های رسمی و مهندسی نرم افزار: هفتمین کنفرانس بین المللی روش های مهندسی رسمی، ICFEM 2005، منچستر، انگلستان، 1-4 نوامبر 2005. مجموعه مقالات
| موضوع اصلی | فن آوری |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 502 |
| حجم فایل | 6 مگابایت |
| کد کتاب | 3540297979,9783540297970 |
| نوبت چاپ | 1 |
| نویسنده | Anthony Hall (auth.), Kung-Kiu Lau, Richard Banach (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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
روش های رسمی و مهندسی نرم افزار: هفتمین کنفرانس بین المللی روش های مهندسی رسمی، ICFEM 2005، منچستر، انگلستان، 1-4 نوامبر 2005. مجموعه مقالات
این کتاب مجموعه مقالات داوری هفتمین کنفرانس بینالمللی روشهای مهندسی رسمی، ICFEM 2005 است که در نوامبر 2005 در منچستر، انگلستان برگزار شد.
30 مقاله کامل اصلاحشده ارائه شده همراه با 3 مشارکت دعوت شده ارائه شد. از بین 74 مورد ارسالی به دقت بررسی و انتخاب شد. این مقالات به تمام مسائل جاری در روش های رسمی و کاربردهای آنها در مهندسی نرم افزار می پردازد. آنها در بخش های موضوعی در مورد مشخصات، مدل سازی، امنیت، ارتباطات، توسعه، آزمایش، تأیید، و ابزار سازماندهی شده اند.
This book constitutes the refereed proceedings of the 7th International Conference on Formal Engineering Methods, ICFEM 2005, held in Manchester, UK in November 2005.
The 30 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 74 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification, modelling, security, communication, development, testing, verification, and tools.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.