elounda

تأیید به کمک رایانه: پنجمین کنفرانس بین المللی، CAV ’93 الوندا، یونان، 28 ژوئن تا 1 ژوئیه، 1993 مجموعه مقالات

دانلود کتاب Computer Aided Verification: 5th International Conference, CAV ’93 Elounda, Greece, June 28–July 1, 1993 Proceedings (به فارسی: تأیید به کمک رایانه: پنجمین کنفرانس بین المللی، CAV ’93 الوندا، یونان، 28 ژوئن تا 1 ژوئیه، 1993 مجموعه مقالات) نوشته شده توسط «Robert K. Brayton (auth.) – Costas Courcoubetis (eds.)» اطلاعات کتاب تأیید به کمک رایانه: پنجمین کنفرانس بین المللی، CAV ’93 الوندا، یونان، 28 ژوئن تا 1 ژوئیه، 1993 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Robert K. Brayton (auth.) – Costas Courcoubetis (eds.) زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر…