دانلود کتاب Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
by Christiano Braga
|
عنوان فارسی: روش های رسمی: مبانی و کاربردها: 17 سمپوزیوم برزیل، SBMF 2014، ماسیو، AL، برزیل، 29 سپتامبر - 1 اکتبر، 2014. مجموعه مقالات |