دانلود کتاب 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. مجموعه مقالات |