cav99

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

دانلود کتاب Computer Aided Verification: 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings (به فارسی: تأیید به کمک رایانه: یازدهمین کنفرانس بین المللی، CAV’99 ترنتو، ایتالیا، 6 تا 10 ژوئیه، 1999 مجموعه مقالات) نوشته شده توسط «David L. Dill (auth.) – Nicolas Halbwachs – Doron Peled (eds.)» اطلاعات کتاب تأیید به کمک رایانه: یازدهمین کنفرانس بین المللی، CAV’99 ترنتو، ایتالیا، 6 تا 10 ژوئیه، 1999 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: David L. Dill (auth.) – Nicolas Halbwachs – Doron Peled (eds.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر…