دانلود کتاب Computer Aided Verification: 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings
by Bernard Boigelot
|
عنوان فارسی: تأیید به کمک رایانه: هشتمین کنفرانس بین المللی، CAV '96 نیوبرانزویک، نیوجرسی، ایالات متحده، 31 ژوئیه تا 3 اوت 1996 مجموعه مقالات |