خرید و دانلود نسخه کامل کتاب Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings

تأیید صحت رایانه: چهاردهمین کنفرانس بین المللی ، CAV 2002 کپنهاگ ، دانمارک ، مجموعه های مقالات 27-31 ژوئیه ، 2002

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings

نویسنده: Gerard_J. Holzmann (auth.), Ed Brinksma, Kim Guldstrand Larsen (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2002

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

زبان: English

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

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