اگه کتاب خاصی میخواید کلیک کنید >
خرید و دانلود نسخه کامل کتاب Woodworking Shopnotes 040 - Vacuum Clamping System
قیمت اصلی 131,000 تومان بود.56,000 تومانقیمت فعلی 56,000 تومان است.
خرید و دانلود نسخه کامل کتاب Innovations in E-learning, Instruction Technology, Assessment and Engineering Education
قیمت اصلی 135,000 تومان بود.60,000 تومانقیمت فعلی 60,000 تومان است.
📥 ترافیک اینترنت مصرفی جهت دانلود فایلها در الی فایل، بهصورت نیمبها می باشد.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
02ساعت
13دقیقه
33ثانیه
-48%
خرید و دانلود نسخه کامل کتاب Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings
قیمت اصلی 155,000 تومان بود.80,000 تومانقیمت فعلی 80,000 تومان است.
تعداد فروش: 80
| عنوان فارسی |
روش ها و مهندسی نرم افزار رسمی: نهمین کنفرانس بین المللی روشهای مهندسی رسمی ، ICFEM 2007 ، بوکا راتون ، فلوریدا ، ایالات متحده ، 14-15 نوامبر 2007. مجموعه مقالات |
|---|---|
| عنوان اصلی | Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | J. -R. Abrial (auth.), Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie (eds.) |
| ISBN | 3540766480, 9783540766483 |
| سال نشر | 2007 |
| زبان | English |
| تعداد صفحات | 395 |
| دسته | فن آوری |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 4 مگابایت |
1
آیتم فروخته شده در 55 دقیقه
4
نفر در حال مشاهده این محصول هستند!
توضیحات
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
این کتاب مجموعه مقالات داوری نهمین کنفرانس بین المللی روش های مهندسی رسمی، ICFEM 2007، برگزار شده در بوکا راتون، فلوریدا، ایالات متحده آمریکا، 14 تا 15 نوامبر 2007 است.
19 مقاله کامل اصلاح شده همراه با دو سخنرانی دعوت شده ارائه شده، به دقت بررسی و از بین 38 مورد ارسالی انتخاب شدند. این مقالات به تمام مسائل جاری در روش های رسمی و کاربردهای آنها در مهندسی نرم افزار می پردازد. آنها در بخش های موضوعی در مورد امنیت و دانش، سیستم های تعبیه شده، آزمایش، تجزیه و تحلیل خودکار، سخت افزار و همزمان سازماندهی شده اند.
نظرات (0)
نقد و بررسیها
هنوز بررسیای ثبت نشده است.