دانلود کتاب Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings
by Byron Cook (auth.)|
|
عنوان فارسی: با کمک کامپیوتر تأیید: 19 کنفرانس بین المللی، CAV 2007، برلین، آلمان، 3-7 ژوئیه، 2007. مجموعه مقالات |


دانلود کتاب

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