دانلود کتاب Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings
by Doron Peled (auth.)|
|
عنوان فارسی: با کمک کامپیوتر تأیید: 16 کنفرانس بین المللی، CAV 2004، بوستون، MA، USA، ژوئیه 13-17، 2004. مجموعه مقالات |


دانلود کتاب

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