دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Model Checking Software: 10th International SPIN Workshop Portland, OR, USA, May 9–10, 2003 Proceedings
دانلود کتاب نرم افزار بررسی مدل: دهمین کارگاه بین المللی اسپین پورتلند، OR، ایالات متحده آمریکا، 9 تا 10 مه، 2003 مجموعه مقالات
مشخصات کتاب
Model Checking Software: 10th International SPIN Workshop Portland, OR, USA, May 9–10, 2003 Proceedings
ویرایش: [1 ed.] نویسندگان: Theo C. Ruys (auth.), Thomas Ball, Sriram K. Rajamani (eds.) سری: Lecture Notes in Computer Science 2648 ISBN (شابک) : 3540401172, 9783540401179 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2003 تعداد صفحات: 241 [251] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 Mb
قیمت کتاب (تومان) : 51,000
در صورت تبدیل فایل کتاب Model Checking Software: 10th International SPIN Workshop Portland, OR, USA, May 9–10, 2003 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نرم افزار بررسی مدل: دهمین کارگاه بین المللی اسپین پورتلند، OR، ایالات متحده آمریکا، 9 تا 10 مه، 2003 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نرم افزار بررسی مدل: دهمین کارگاه بین المللی اسپین پورتلند، OR، ایالات متحده آمریکا، 9 تا 10 مه، 2003 مجموعه مقالات
این کتاب مجموعه مقالات داوری دهمین کارگاه بین المللی SPIN در بررسی مدل بررسی نرم افزار، SPIN 2003، در پورتلند، OR، ایالات متحده آمریکا در می 2003 به عنوان کارگاه ماهواره ای ICSE 2003 برگزار شد.
14 مقاله کامل اصلاح شده و 3 مقاله ابزار اصلاح شده ارائه شده به دقت بررسی و از بین 30 مقاله ارسالی انتخاب شدند. این کتاب نتایج پیشرفته ای را در مورد تجزیه و تحلیل و تأیید سیستم های نرم افزاری توزیع شده با استفاده از مدل جستجوگر SPIN به عنوان یکی از قدرتمندترین و پرکاربردترین سیستم ها ارائه می دهد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop.
The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and selected from 30 submissions. The book presents state-of-the-art results on the analysis and verification of distributed software systems using the SPIN model checker as one of the most powerful and widely applied systems.
