دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings ویرایش 1
کتاب انگلیسی تأیید، بررسی مدل و تفسیر خلاصه: 12th International Conference، VMCAI 2011، Austin، TX، USA، 23-25 ژانویه 2011. پرونده ها ویرایش 1
گزارش