دانلود کتاب Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 – July 2, 2009. Proceedings (به فارسی: تأیید به کمک رایانه: بیست و یکمین کنفرانس بین المللی، CAV 2009، گرنوبل، فرانسه، 26 ژوئن – 2 ژوئیه، 2009. مجموعه مقالات) نوشته شده توسط «Rachid Guerraoui – Michał Kapałka (auth.) – Ahmed Bouajjani – Oded Maler (eds.)»
اطلاعات کتاب تأیید به کمک رایانه: بیست و یکمین کنفرانس بین المللی، CAV 2009، گرنوبل، فرانسه، 26 ژوئن – 2 ژوئیه، 2009. مجموعه مقالات
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Rachid Guerraoui – Michał Kapałka (auth.) – Ahmed Bouajjani – Oded Maler (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2009
تعداد صفحه: 722
حجم کتاب: 14 مگابایت
کد کتاب: 3642026575 , 9783642026577
نوبت چاپ: 1
توضیحات کتاب تأیید به کمک رایانه: بیست و یکمین کنفرانس بین المللی، CAV 2009، گرنوبل، فرانسه، 26 ژوئن – 2 ژوئیه، 2009. مجموعه مقالات
این کتاب مجموعه مقالات داوری بیست و یکمین کنفرانس بین‌المللی تأیید به کمک رایانه، CAV 2009، برگزار شده در گرنوبل، فرانسه، در ژوئن/ژوئیه 2009 است.
36 مقاله کامل اصلاح شده ارائه شده است. همراه با 16 مقاله ابزار و 4 سخنرانی دعوت شده و 4 آموزش دعوت شده به دقت بررسی و از بین 135 مقاله معمولی و 34 مقاله ارسالی ابزار ابزار انتخاب شد. این مقالات به پیشرفت تئوری و عمل روش‌های تحلیل رسمی به کمک رایانه برای سیستم‌های سخت‌افزاری و نرم‌افزاری اختصاص داده شده‌اند. دامنه آنها از نتایج نظری گرفته تا کاربردهای ملموس، با تأکید بر ابزارهای تأیید عملی و الگوریتم ها و تکنیک های زیربنایی است.
This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/July 2009.
The 36 revised full papers presented together with 16 tool papers and 4 invited talks and 4 invited tutorials were carefully reviewed and selected from 135 regular paper and 34 tool paper submissions. The papers are dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems; their scope ranges from theoretical results to concrete applications, with an emphasis on practical verification tools and the underlying algorithms and techniques.
