خرید و دانلود نسخه کامل کتاب Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings

آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم. توضیحاتی در مورد کتاب  این کتاب مجموعه مقالات داوری شانزدهمین کارگاه بین المللی SPIN در نرم افزار بررسی مدل، SPIN 2009، در گرنوبل، فرانسه، در ژوئن 2009 برگزار شد. 15 مقاله کامل اصلاح شده با هم ارائه شده است. با 3 مقاله ابزار و 4 سخنرانی دعوت شده به دقت بررسی و از بین 41 مورد ارسالی انتخاب شد. این مقالات مبانی نظری و الگوریتمی و همچنین ابزارهایی برای بررسی مدل نرم‌افزار را با پرداختن به پیشرفت‌های نظری و ارزیابی‌های تجربی مربوط به تکنیک‌های کاوش فضای حالت و مسیر، همانطور که در ابزارهای تأیید نرم‌افزار پیاده‌سازی می‌شوند، پوشش می‌دهند.