خرید و دانلود نسخه کامل کتاب Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

تأیید به کمک رایانه: هجدهمین کنفرانس بین المللی ، CAV 2006 ، سیاتل ، WA ، ایالات متحده ، 17-20 اوت 2006 ، مجموعه مقالات

Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

نویسنده: Manuvir Das (auth.), Thomas Ball, Robert B. Jones (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2006

تعداد صفحات: 564 [576]

زبان: English

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

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