دانلود کتاب Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings
by Rajeev Alur (auth.)
|
عنوان فارسی: فناوری خودکار برای تأیید و تجزیه و تحلیل: دومین کنفرانس بین المللی، ATVA 2004، تایپه، تایوان، ROC، اکتبر 31-نوامبر 3، 2004. مجموعه مقالات |