دانلود کتاب Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
by Leila Ribeiro, Thierry Lecomte (eds.)
|
عنوان فارسی: روش های رسمی: مبانی و برنامه های کاربردی: 19 سمپوزیوم برزیلی، SBMF 2016، ناتال، برزیل، 23-25 نوامبر 2016، پرونده ها |