خرید و دانلود نسخه کامل کتاب Computer Aided Verification: 6th International Conference, CAV '94 Stanford, California, USA, June 21–23, 1994 Proceedings

تأیید به کمک رایانه: ششمین کنفرانس بین المللی، CAV '94 استنفورد، کالیفرنیا، ایالات متحده، 21 تا 23 ژوئن 1994 مجموعه مقالات

Computer Aided Verification: 6th International Conference, CAV '94 Stanford, California, USA, June 21–23, 1994 Proceedings

نویسنده: Rajeev Alur, Limor Fix, Thomas A. Henzinger (auth.), David L. Dill (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1994

تعداد صفحات: 486 [490]

زبان: English

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

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