دانلود کتاب Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers
by Cinzia Bernardeschi
|
عنوان فارسی: تأیید، چک کردن مدل، و چکیده تفسیر: سوم کارگاه آموزشی بین المللی، VMCAI 2002 ونیز، ایتالیا، ژانویه 21-22، 2002 مقالات تجدید نظر |