خرید و دانلود نسخه کامل کتاب Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings

تأیید به کمک رایانه: دومین کنفرانس بین المللی، CAV '90 نیوبرانزویک، نیوجرسی، ایالات متحده آمریکا، 18 تا 21 ژوئن، 1990 مجموعه مقالات

Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings

نویسنده: Edmund M. Clarke Jr. (auth.), Edmund M. Clarke, Robert P. Kurshan (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1991

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

زبان: English

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

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