دانلود کتاب Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings
by Byron Cook (auth.)
|
عنوان فارسی: با کمک کامپیوتر تأیید: 19 کنفرانس بین المللی، CAV 2007، برلین، آلمان، 3-7 ژوئیه، 2007. مجموعه مقالات |