خرید و دانلود نسخه کامل کتاب Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings

تأیید به کمک رایانه: هفدهمین کنفرانس بین المللی ، CAV 2005 ، ادینبورگ ، اسکاتلند ، انگلیس ، 6-10 ژوئیه 2005. مجموعه مقالات

Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings

نویسنده: George C. Necula, Sumit Gulwani (auth.), Kousha Etessami, Sriram K. Rajamani (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2005

تعداد صفحات: 579

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 5 مگابایت