دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings
by Joshua D. Guttman (auth.)|
|
عنوان فارسی: تأیید، چک کردن مدل، و چکیده تفسیر: 5 کنفرانس بین المللی، VMCAI 2004 ونیز، ایتالیا، ژانویه 11-13، 2004 مقالات |


دانلود کتاب

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