خرید و دانلود نسخه کامل کتاب Computer Aided Verification: 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings

تأیید رایانه ای: یازدهمین کنفرانس بین المللی ، CAV’99 ترنتو ، ایتالیا ، مقالات 6 تا 10 ژوئیه 1999

Computer Aided Verification: 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings

نویسنده: David L. Dill (auth.), Nicolas Halbwachs, Doron Peled (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1999

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

زبان: English

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

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