دانلود کتاب Computer Aided Verification: 9th International Conference, CAV'97 Haifa, Israel, June 22–25, 1997 Proceedings
by F. Erich Marschner (auth.)
|
عنوان فارسی: تأیید صحت رایانه: نهمین کنفرانس بین المللی ، Cav'97 Haifa ، اسرائیل ، 22-25 ژوئن 1997 مجموعه مقالات |