cav98

تأیید به کمک رایانه: دهمین کنفرانس بین المللی، CAV’98 ونکوور، BC، کانادا، 28 ژوئن – 2 ژوئیه 1998 مجموعه مقالات

دانلود کتاب Computer Aided Verification: 10th International Conference, CAV’98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings (به فارسی: تأیید به کمک رایانه: دهمین کنفرانس بین المللی، CAV’98 ونکوور، BC، کانادا، 28 ژوئن – 2 ژوئیه 1998 مجموعه مقالات) نوشته شده توسط «Nicolas Halbwachs (auth.) – Alan J. Hu – Moshe Y. Vardi (eds.)» اطلاعات کتاب تأیید به کمک رایانه: دهمین کنفرانس بین المللی، CAV’98 ونکوور، BC، کانادا، 28 ژوئن – 2 ژوئیه 1998 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Nicolas Halbwachs (auth.) – Alan J. Hu – Moshe Y. Vardi…