خرید و دانلود نسخه کامل کتاب Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings

تأیید کمک به رایانه: نوزدهمین کنفرانس بین المللی ، CAV 2007 ، برلین ، آلمان ، 3-7 ژوئیه ، 2007. مجموعه مقالات

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings

نویسنده: Byron Cook (auth.), Werner Damm, Holger Hermanns (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2007

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

زبان: English

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

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