خرید و دانلود نسخه کامل کتاب Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings

تأیید کمک به رایانه: سیزدهمین کنفرانس بین المللی ، CAV 2001 پاریس ، فرانسه ، مجموعه مقالات 18-18 ژوئیه ، 2001

Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings

نویسنده: David Lorge Parnas (auth.), Gérard Berry, Hubert Comon, Alain Finkel (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2001

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

زبان: English

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

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