دانلود کتاب Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings
by Nathan Whitehead
|
عنوان فارسی: فناوری خودکار برای تأیید و تجزیه و تحلیل: سمپوزیوم بین المللی 5، ATVA 2007 توکیو، ژاپن، 22-25 اکتبر، 2007 مقالات |