دانلود کتاب Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings
by Franck Cassez
|
عنوان فارسی: فناوری خودکار برای تأیید و تجزیه و تحلیل: تاریخ 12th سمپوزیوم بین المللی، ATVA 2014، سیدنی، NSW، استرالیا، نوامبر 3-7، 2014، مجموعه مقالات |