خرید و دانلود نسخه کامل کتاب Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings

تأیید به کمک رایانه: دهمین کنفرانس بین المللی، CAV'98 ونکوور، BC، کانادا، 28 ژوئن – 2 ژوئیه 1998 مجموعه مقالات

Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings

نویسنده: Nicolas Halbwachs (auth.), Alan J. Hu, Moshe Y. Vardi (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1998

تعداد صفحات: 552 [562]

زبان: English

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

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