دانلود کتاب Computer Aided Verification: 6th International Conference, CAV '94 Stanford, California, USA, June 21–23, 1994 Proceedings
by Rajeev Alur
|
عنوان فارسی: تأیید به کمک رایانه: ششمین کنفرانس بین المللی، CAV '94 استنفورد، کالیفرنیا، ایالات متحده، 21 تا 23 ژوئن 1994 مجموعه مقالات |