اگه کتاب خاصی میخواید کلیک کنید >
خرید و دانلود نسخه کامل کتاب Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93 Vancouver, B. C., Canada, August 11–13, 1993 Proceedings
قیمت اصلی 155,000 تومان بود.80,000 تومانقیمت فعلی 80,000 تومان است.
خرید و دانلود نسخه کامل کتاب Evolutionary Robotics: First European Workshop, EvoRobot98 Paris, France, April 16–17, 1998 Proceedings
قیمت اصلی 135,000 تومان بود.60,000 تومانقیمت فعلی 60,000 تومان است.
📥 ترافیک اینترنت مصرفی جهت دانلود فایلها در الی فایل، بهصورت نیمبها می باشد.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
00ساعت
31دقیقه
32ثانیه
-50%
خرید و دانلود نسخه کامل کتاب Formal Approaches to Software Testing: 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers
قیمت اصلی 149,000 تومان بود.74,000 تومانقیمت فعلی 74,000 تومان است.
تعداد فروش: 65
| عنوان فارسی |
رویکردهای رسمی به تست نرم افزار: پنجمین کارگاه بین المللی ، FATES 2005 ، ادینبورگ ، انگلستان ، 11 ژوئیه 2005 ، نسخه های تجدید نظر شده |
|---|---|
| عنوان اصلی | Formal Approaches to Software Testing: 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova (auth.), Wolfgang Grieskamp, Carsten Weise (eds.) |
| ISBN | 3540344543, 9783540344544 |
| سال نشر | 2006 |
| زبان | English |
| تعداد صفحات | 228 |
| دسته | کنفرانس ها و همایش های بین المللی |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 2 مگابایت |
1
آیتم فروخته شده در 55 دقیقه
5
نفر در حال مشاهده این محصول هستند!
توضیحات
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
این کتاب مجموعه مقالات پس از داوری کامل پنجمین کارگاه بینالمللی رویههای رسمی تست نرمافزار، FATES 2005، در ادینبورگ، انگلستان، در ژوئیه 2005 در ارتباط با CAV 2005 است.
The کتاب 13 مقاله کامل اصلاح شده را همراه با 1 مقاله در حال انجام ارائه می دهد. این مقالات به رویکردهای رسمی برای آزمایش و استفاده از تکنیکهای حوزههایی مانند اثبات قضیه، بررسی مدل، حل محدودیتها، تحلیل برنامه، تفسیر انتزاعی، زنجیرههای مارکوف و موارد دیگر میپردازند. این تکنیک ها با رویکردهای سنتی آزمایش ترکیب می شوند.
نظرات (0)
نقد و بررسیها
هنوز بررسیای ثبت نشده است.