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