دانلود کتاب Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
by Márcio Cornélio
|
عنوان فارسی: روش های رسمی: مبانی و کاربردها: 18 سمپوزیوم برزیل، SBMF 2015، بلو هوریزونته، برزیل، سپتامبر 21-22، 2015، مجموعه مقالات |