خرید و دانلود نسخه کامل کتاب Computer Aided Verification: 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings

تأیید به کمک رایانه: هفتمین کنفرانس بین المللی، CAV '95 لیژ، بلژیک، 3 تا 5 ژوئیه، 1995 مجموعه مقالات

Computer Aided Verification: 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings

نویسنده: Randal E. Bryant (auth.), Pierre Wolper (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1995

تعداد صفحات: 456 [462]

زبان: English

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

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