خرید و دانلود نسخه کامل کتاب Computer Aided Verification: 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings

تأیید به کمک رایانه: هشتمین کنفرانس بین المللی، CAV '96 نیوبرانزویک، نیوجرسی، ایالات متحده، 31 ژوئیه تا 3 اوت 1996 مجموعه مقالات

Computer Aided Verification: 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings

نویسنده: Bernard Boigelot, Patrice Godefroid (auth.), Rajeev Alur, Thomas A. Henzinger (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1996

تعداد صفحات: 479 [483]

زبان: English

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

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