توضیحات
This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations.
————————————————————–
ترجمه ماشینی :
این کتاب مجموعه مقالات داوری کامل نوزدهمین کارگاه بین المللی SPIN در نرم افزار بررسی مدل، SPIN 2012 است که در آکسفورد، انگلستان، در ژوئیه 2012 برگزار شد. 11 مقاله کامل اصلاح شده همراه با 5 مقاله ابزار و 4 سخنرانی دعوت شده ارائه شد به دقت بررسی و از بین 30 مورد ارسالی انتخاب شد. مقالات در بخش های موضوعی در مورد تکنیک های بررسی مدل گروه بندی شده اند. بررسی مدل موازی؛ مطالعات موردی؛ بررسی مدل برای همزمانی؛ و نمایش ابزار.
tag : دانلود کتاب نرم افزار بررسی مدل: نوزدهمین کارگاه بین المللی، SPIN 2012، آکسفورد، انگلستان، 23-24 ژوئیه، 2012. مجموعه مقالات , Download نرم افزار بررسی مدل: نوزدهمین کارگاه بین المللی، SPIN 2012، آکسفورد، انگلستان، 23-24 ژوئیه، 2012. مجموعه مقالات , دانلود نرم افزار بررسی مدل: نوزدهمین کارگاه بین المللی، SPIN 2012، آکسفورد، انگلستان، 23-24 ژوئیه، 2012. مجموعه مقالات , Download Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings Book , نرم افزار بررسی مدل: نوزدهمین کارگاه بین المللی، SPIN 2012، آکسفورد، انگلستان، 23-24 ژوئیه، 2012. مجموعه مقالات دانلود , buy نرم افزار بررسی مدل: نوزدهمین کارگاه بین المللی، SPIN 2012، آکسفورد، انگلستان، 23-24 ژوئیه، 2012. مجموعه مقالات , خرید کتاب نرم افزار بررسی مدل: نوزدهمین کارگاه بین المللی، SPIN 2012، آکسفورد، انگلستان، 23-24 ژوئیه، 2012. مجموعه مقالات , دانلود کتاب Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings , کتاب Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings , دانلود Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings , خرید Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings , خرید کتاب Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings ,
دیدگاهها
هیچ دیدگاهی برای این محصول نوشته نشده است.