دانلود کتاب Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings
by Christiano Braga
|
عنوان فارسی: روش های رسمی : مبانی و کاربردها: 16 سمپوزیوم برزیل، SBMF 2013 ، برازیلیا، برزیل ، 29 سپتامبر-اکتبر 4، 2013 مقالات |