دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Runtime Verification: Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers
دانلود کتاب تأیید زمان اجرا: دومین کنفرانس بین المللی ، RV 2011 ، سانفرانسیسکو ، کالیفرنیا ، ایالات متحده ، 27-30 سپتامبر 2011 ، نسخه های تجدید نظر شده
مشخصات کتاب
Runtime Verification: Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers
ویرایش: [1 ed.] نویسندگان: Howard Barringer, Klaus Havelund (auth.), Sarfraz Khurshid, Koushik Sen (eds.) سری: Lecture Notes in Computer Science 7186 Programming and Software Engineering ISBN (شابک) : 9783642298608, 3642298605 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 458 [470] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 10 Mb
قیمت کتاب (تومان) : 49,000
در صورت تبدیل فایل کتاب Runtime Verification: Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تأیید زمان اجرا: دومین کنفرانس بین المللی ، RV 2011 ، سانفرانسیسکو ، کالیفرنیا ، ایالات متحده ، 27-30 سپتامبر 2011 ، نسخه های تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تأیید زمان اجرا: دومین کنفرانس بین المللی ، RV 2011 ، سانفرانسیسکو ، کالیفرنیا ، ایالات متحده ، 27-30 سپتامبر 2011 ، نسخه های تجدید نظر شده
این کتاب مجموعه مقالات پس از کنفرانس با داوری کامل دومین کنفرانس بین‌المللی تأیید زمان اجرا، RV 2011، که در سانفرانسیسکو، ایالات متحده آمریکا، در سپتامبر 2011 برگزار شد. 24 مقاله کامل اصلاح شده همراه با 3 مقاله دعوت شده، 4 آموزش ارائه شده است و 4 نمایش ابزار به دقت بررسی و از بین 71 مورد ارسالی انتخاب شدند. مقالات در بخش‌های موضوعی در مورد موازی‌سازی و بن‌بست، تشخیص بدافزار، محدودیت‌های زمانی و اشکالات همزمان، نمونه‌برداری و انطباق با مشخصات، زمان واقعی، سیستم‌های نرم‌افزار و سخت‌افزار، تراکنش‌های حافظه، ابزارها سازمان‌دهی شده‌اند. تکنیک های اساسی و رویکردهای چند ارزشی.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Runtime Verification, RV 2011, held in San Francisco, USA, in September 2011. The 24 revised full papers presented together with 3 invited papers, 4 tutorials and 4 tool demonstrations were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on parallelism and deadlocks, malware detection, temporal constraints and concurrency bugs, sampling and specification conformance, real-time, software and hardware systems, memory transactions, tools; foundational techniques and multi-valued approaches.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Cheat the clock: how new science can help you look and feel younger
دانلود کتاب The Science of Supervillains
دانلود کتاب I Survived 12+ Years After a Stroke and You Can Too: Stroke Recovery Through Rehabilitation
