ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings

دانلود کتاب نرم افزار بررسی مدل: هجدهمین کارگاه بین المللی SPIN، Snowbird، UT، ایالات متحده آمریکا، 14-15 جولای، 2011. مجموعه مقالات

Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings

مشخصات کتاب

Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings

ویرایش: 1 
نویسندگان: , ,   
سری: Lecture Notes in Computer Science 6823 Theoretical Computer Science and General Issues 
ISBN (شابک) : 9783642223068, 3642223060 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2011 
تعداد صفحات: 203 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت 

قیمت کتاب (تومان) : 38,000

در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد



کلمات کلیدی مربوط به کتاب نرم افزار بررسی مدل: هجدهمین کارگاه بین المللی SPIN، Snowbird، UT، ایالات متحده آمریکا، 14-15 جولای، 2011. مجموعه مقالات: مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ها و معانی برنامه ها، منطق ریاضی و زبان های رسمی



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 10


در صورت تبدیل فایل کتاب Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب نرم افزار بررسی مدل: هجدهمین کارگاه بین المللی SPIN، Snowbird، UT، ایالات متحده آمریکا، 14-15 جولای، 2011. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب نرم افزار بررسی مدل: هجدهمین کارگاه بین المللی SPIN، Snowbird، UT، ایالات متحده آمریکا، 14-15 جولای، 2011. مجموعه مقالات

این کتاب مجموعه مقالات داوری هجدهمین کارگاه بین المللی SPIN در نرم افزار بررسی مدل، SPIN 2011 است که در اسنوبرد، UT، ایالات متحده آمریکا، در ژوئیه 2011 برگزار شد. بررسی و از بین 29 مورد ارسالی انتخاب شد. مقالات در بخش های موضوعی در مورد انتزاعات و کاهش فضای حالت سازماندهی شده اند. استراتژی های جستجو؛ کدگذاری و برنامه های افزودنی PROMELA. و کاربردهای بررسی مدل


توضیحاتی درمورد کتاب به خارجی

This book constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011. The 10 revised full papers presented together with 2 tool demonstration papers and 1 invited contribution were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on abstractions and state-space reductions; search strategies; PROMELA encodings and extensions; and applications of model checking.



فهرست مطالب

Front Matter....Pages -
Model Checking Cell Fate Decisions....Pages 1-1
Property-Dependent Reductions for the Modal Mu-Calculus....Pages 2-19
String Abstractions for String Verification....Pages 20-37
Parallel Recursive State Compression for Free....Pages 38-56
Depth Bounded Explicit-State Model Checking....Pages 57-74
Randomized Backtracking in State Space Traversal....Pages 75-89
An Analytic Evaluation of SystemC Encodings in Promela....Pages 90-107
Building Extensible Specifications and Implementations of Promela with AbleP....Pages 108-125
Program Sketching via CTL* Model Checking....Pages 126-143
A Verification-Based Approach to Memory Fence Insertion in Relaxed Memory Systems....Pages 144-160
Model Checking Industrial Robot Systems....Pages 161-176
EpiSpin: An Eclipse Plug-In for Promela/Spin Using Spoofax....Pages 177-182
DiPro - A Tool for Probabilistic Counterexample Generation....Pages 183-187
dBug: Systematic Testing of Unmodified Distributed and Multi-threaded Systems....Pages 188-193
Back Matter....Pages -




نظرات کاربران