دانلود کتاب Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings (به فارسی: نرم افزار بررسی مدل: شانزدهمین کارگاه بین المللی SPIN، گرنوبل، فرانسه، 26-28 ژوئن 2009. مجموعه مقالات) نوشته شده توسط «Patrice Godefroid (auth.) – Corina S. Păsăreanu (eds.)»
اطلاعات کتاب نرم افزار بررسی مدل: شانزدهمین کارگاه بین المللی SPIN، گرنوبل، فرانسه، 26-28 ژوئن 2009. مجموعه مقالات
موضوع اصلی: کنفرانس ها و سمپوزیوم های بین المللی
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Patrice Godefroid (auth.) – Corina S. Păsăreanu (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2009
تعداد صفحه: 297
حجم کتاب: 7 مگابایت
کد کتاب: 9783642026515 , 3642026516
نوبت چاپ: 1
توضیحات کتاب نرم افزار بررسی مدل: شانزدهمین کارگاه بین المللی SPIN، گرنوبل، فرانسه، 26-28 ژوئن 2009. مجموعه مقالات
این کتاب مجموعه مقالات داوری شانزدهمین کارگاه بین المللی SPIN در نرم افزار بررسی مدل، SPIN 2009، در گرنوبل، فرانسه، در ژوئن 2009 برگزار شد.
15 مقاله کامل اصلاح شده با هم ارائه شده است. با 3 مقاله ابزار و 4 سخنرانی دعوت شده به دقت بررسی و از بین 41 مورد ارسالی انتخاب شد. این مقالات مبانی نظری و الگوریتمی و همچنین ابزارهایی برای بررسی مدل نرم‌افزار را با پرداختن به پیشرفت‌های نظری و ارزیابی‌های تجربی مربوط به تکنیک‌های کاوش فضای حالت و مسیر، همانطور که در ابزارهای تأیید نرم‌افزار پیاده‌سازی می‌شوند، پوشش می‌دهند.
This book constitutes the refereed proceedings of the 16th International SPIN workshop on Model Checking Software, SPIN 2009, held in Grenoble, France, in June 2009.
The 15 revised full papers presented together with 3 tool papers and 4 invited talks were carefully reviewed and selected from 41 submissions. The papers cover theoretical and algorithmic foundations as well as tools for software model checking by addressing theoretical advances and empirical evaluations related to state-space and path exploration techniques, as implemented in software verification tools.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.