دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [1 ed.] نویسندگان: Dennis Dams (auth.), Dragan Bošnački, Stefan Edelkamp (eds.) سری: Lecture Notes in Computer Science 4595 ISBN (شابک) : 3540733698, 9783540733690 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2007 تعداد صفحات: 285 [293] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 Mb
در صورت تبدیل فایل کتاب Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نرم افزار چک کردن مدل: چهاردهمین کارگاه بین المللی SPIN ، برلین ، آلمان ، 1 تا 3 ژوئیه ، 2007. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری چهاردهمین کارگاه بین المللی SPIN در نرم افزار بررسی مدل، SPIN 2007، در برلین، آلمان در ژوئیه 2007 در ارتباط با نوزدهمین کنفرانس بین المللی تأیید به کمک رایانه، CAV 2007 است.
14 مقاله کامل اصلاح شده ارائه شده همراه با 4 مقاله ارائه ابزار و چکیده 2 سخنرانی دعوت شده به دقت بررسی و از بین 39 مورد ارسالی انتخاب شدند. مقالات در بخشهای موضوعی در بررسی مدل مستقیم، کاهش سفارش جزئی، تجزیه و تحلیل برنامه، پیشرفتهای اکتشافی، مدلسازی و مطالعات موردی، و همچنین نمایش ابزار سازماندهی شدهاند.
This book constitutes the refereed proceedings of the 14th International SPIN workshop on Model Checking Software, SPIN 2007, held in Berlin, Germany in July 2007 in conjunction with the 19th International Conference on Computer Aided Verification, CAV 2007.
The 14 revised full papers presented together with 4 tool presentation papers and the abstracts of 2 invited talks were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, as well as tool demonstrations.