دانلود کتاب 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. مجموعه مقالات |


دانلود کتاب

جزییات کتاب
این کتاب رو مطالعه کردید؟ نظر شما چیست؟