دانلود کتاب Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings (به فارسی: تأیید به کمک رایانه: شانزدهمین کنفرانس بین المللی، CAV 2004، بوستون، MA، ایالات متحده آمریکا، 13-17 ژوئیه، 2004. مجموعه مقالات) نوشته شده توسط «Doron Peled (auth.) – Rajeev Alur – Doron A. Peled (eds.)»
اطلاعات کتاب تأیید به کمک رایانه: شانزدهمین کنفرانس بین المللی، CAV 2004، بوستون، MA، ایالات متحده آمریکا، 13-17 ژوئیه، 2004. مجموعه مقالات
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Doron Peled (auth.) – Rajeev Alur – Doron A. Peled (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2004
تعداد صفحه: 536
حجم کتاب: 10 مگابایت
کد کتاب: 3540223428 , 9783540223429 , 9783540278139
نوبت چاپ: 1
توضیحات کتاب تأیید به کمک رایانه: شانزدهمین کنفرانس بین المللی، CAV 2004، بوستون، MA، ایالات متحده آمریکا، 13-17 ژوئیه، 2004. مجموعه مقالات
این کتاب مجموعه مقالات داوری شانزدهمین کنفرانس بین المللی تأیید به کمک رایانه، CAV 2004، در بوستون، MA، ایالات متحده آمریکا، در ژوئیه 2004 است.
32 مقاله تحقیق کامل اصلاح شده و 16 ابزار مقالات به دقت بررسی و از 144 مورد ارسالی انتخاب شدند. این مقالات تمام مسائل جاری در راستیآزمایی با کمک رایانه و بررسی مدل را پوشش میدهند، از مسائل اساسی و روششناختی گرفته تا ارزیابی ابزارها و سیستمهای اصلی.
This book constitutes the refereed proceedings of the 16th International Conference on Computer Aided Verification, CAV 2004, held in Boston, MA, USA, in July 2004.
The 32 revised full research papers and 16 tool papers were carefully reviewed and selected from 144 submissions. The papers cover all current issues in computer aided verification and model checking, ranging from foundational and methodological issues to the evaluation of major tools and systems.