دانلود کتاب Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings
by Doron Peled (auth.)
|
عنوان فارسی: با کمک کامپیوتر تأیید: 16 کنفرانس بین المللی، CAV 2004، بوستون، MA، USA، ژوئیه 13-17، 2004. مجموعه مقالات |