خرید و دانلود نسخه کامل کتاب Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings
قیمت اصلی 133,000 تومان بود.58,000 تومانقیمت فعلی 58,000 تومان است.
تعداد فروش: 54
| عنوان فارسی |
نرم افزار بررسی مدل: شانزدهمین کارگاه بین المللی SPIN ، گرنوبل ، فرانسه ، 26 تا 28 ژوئن 2009. مجموعه مقالات |
|---|---|
| عنوان اصلی | Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Patrice Godefroid (auth.), Corina S. Păsăreanu (eds.) |
| ISBN | 9783642026515, 3642026516 |
| سال نشر | 2009 |
| زبان | English |
| تعداد صفحات | 304 |
| دسته | کنفرانس ها و همایش های بین المللی |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 6 مگابایت |
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
این کتاب مجموعه مقالات داوری شانزدهمین کارگاه بین المللی SPIN در نرم افزار بررسی مدل، SPIN 2009، در گرنوبل، فرانسه، در ژوئن 2009 برگزار شد.
15 مقاله کامل اصلاح شده با هم ارائه شده است. با 3 مقاله ابزار و 4 سخنرانی دعوت شده به دقت بررسی و از بین 41 مورد ارسالی انتخاب شد. این مقالات مبانی نظری و الگوریتمی و همچنین ابزارهایی برای بررسی مدل نرمافزار را با پرداختن به پیشرفتهای نظری و ارزیابیهای تجربی مربوط به تکنیکهای کاوش فضای حالت و مسیر، همانطور که در ابزارهای تأیید نرمافزار پیادهسازی میشوند، پوشش میدهند.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.