خرید و دانلود نسخه کامل کتاب Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

تایید صحت کامپیوتر: 16 کنفرانس بین المللی، CAV 2004، بوستون، MA، USA، 13-17 ژوئیه 2004. پرونده ها

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

نویسنده: Doron Peled (auth.), Rajeev Alur, Doron A. Peled (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2004

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

زبان: English

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

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