دانلود کتاب Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings
by Mark R. Greenstreet (auth.)
|
عنوان فارسی: فناوری خودکار برای تأیید و تجزیه و تحلیل: 7 سمپوزیوم بین المللی، ATVA 2009، ماکائو، چین، اکتبر 14-16، 2009. مجموعه مقالات |