دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
دانلود کتاب مدل بررسی نرم افزار: 17 کارگاه تخصصی SPIN، Enschede، هلند، 27-29 سپتامبر 2010. مجموعه مقالات
مشخصات کتاب
Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: Alessandro Cimatti (auth.), Jaco van de Pol, Michael Weber (eds.) سری: Lecture Notes in Computer Science 6349 : Theoretical Computer Science and General Issues ISBN (شابک) : 3642161634, 9783642161636 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2010 تعداد صفحات: 271 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 39,000
کلمات کلیدی مربوط به کتاب مدل بررسی نرم افزار: 17 کارگاه تخصصی SPIN، Enschede، هلند، 27-29 سپتامبر 2010. مجموعه مقالات: مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ها و معانی برنامه ها، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدل بررسی نرم افزار: 17 کارگاه تخصصی SPIN، Enschede، هلند، 27-29 سپتامبر 2010. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مدل بررسی نرم افزار: 17 کارگاه تخصصی SPIN، Enschede، هلند، 27-29 سپتامبر 2010. مجموعه مقالات
این کتاب مجموعه مقالات داوری هفدهمین کارگاه بین‌المللی SPIN در نرم‌افزار بررسی مدل، SPIN 2010 است که در دانشگاه Twente، در Enschede، هلند، در سپتامبر 2010 برگزار شد. 13 مقاله کامل اصلاح‌شده همراه با 2 مقاله ابزار و 3 مقاله ارائه شده است. گفتگوهای دعوت شده به دقت بررسی و از بین 33 مورد ارسالی انتخاب شدند. مقالات در بخش‌های موضوعی در مورد نظریه‌های مدول رضایت‌پذیری برای بررسی مدل، بررسی مدل در زمینه (شبیه‌سازی، آزمایش، UML)، پیاده‌سازی و عملکرد بررسی مدل، LTL و Büchi automata، توسعه‌های سیستم‌های حالت بی‌نهایت، و نرم‌افزار همزمان سازمان‌دهی شده‌اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 17th International SPIN workshop on Model Checking Software, SPIN 2010, held at the University of Twente, in Enschede, The Netherlands, in September 2010. The 13 revised full papers presented together with 2 tool papers and 3 invited talks were carefully reviewed and selected from 33 submissions. The papers are organized in topical sections on satisfiability modulo theories for model checking, model checking in context (simulation, testing, UML), implementation and performance of model checking, LTL and Büchi automata, extensions to infinite-state systems, and concurrent software.
فهرست مطالب
Front Matter....Pages -
SMT-Based Software Model Checking....Pages 1-3
Symbolic Object Code Analysis....Pages 4-21
Experimental Comparison of Concolic and Random Testing for Java Card Applets....Pages 22-39
Combining SPIN with ns-2 for Protocol Optimization....Pages 40-57
Automatic Generation of Model Checking Scripts Based on Environment Modeling....Pages 58-75
Model Checking: Cleared for Take Off....Pages 76-87
Context-Enhanced Directed Model Checking....Pages 88-105
Efficient Explicit-State Model Checking on General Purpose Graphics Processors....Pages 106-123
The SpinJa Model Checker....Pages 124-128
On the Virtue of Patience: Minimizing Büchi Automata....Pages 129-145
Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance....Pages 146-161
Nevertrace Claims for Model Checking....Pages 162-179
A False History of True Concurrency: From Petri to Tools....Pages 180-186
Analysing Mu-Calculus Properties of Pushdown Systems....Pages 187-192
Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains....Pages 193-211
An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models....Pages 212-226
Context-Bounded Translations for Concurrent Software: An Empirical Evaluation....Pages 227-244
One Stack to Run Them All....Pages 245-261
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Moj Mikro april 1985
دانلود کتاب Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings
دانلود کتاب Surviving the Whiteboard Interview: A Developer’s Guide to Using Soft Skills to Get Hired
دانلود کتاب Synfig User’s Manual
دانلود کتاب Moj Mikro mart 1985
