دانلود کتاب Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings
by Simon N. Foley (auth.), Warren A. Hunt Jr., Fabio Somenzi (eds.)
|
عنوان فارسی: با کمک کامپیوتر تأیید : 15 کنفرانس بین المللی، CAV 2003 ، بولدر ، CO، ایالات متحده آمریکا، 08-12 ژوئیه ، 2003. مجموعه مقالات |