خرید و دانلود نسخه کامل کتاب Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings

Verification of Computer Assisted: 15th International Conference، CAV 2003، Boulder، CO، USA، 8-12 ژوئیه 2003. پرونده ها

Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings

نویسنده: Simon N. Foley (auth.), Warren A. Hunt Jr., Fabio Somenzi (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2003

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

زبان: English

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

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