دانلود کتاب Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers
by Harald König
|
عنوان فارسی: روش های رسمی، مبانی و کاربردها: 14 سمپوزیوم برزیل، SBMF 2011، سائو پائولو، برزیل، 26-30 سپتامبر، 2011، تجدید نظر مقالات انتخاب شده |