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