دانلود کتاب Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings
by Krishnendu Chatterjee
|
عنوان فارسی: فناوری خودکار برای تأیید و تجزیه و تحلیل: 8 سمپوزیوم بین المللی، ATVA 2010، سنگاپور، 21-24 سپتامبر، 2010. مجموعه مقالات |