دانلود کتاب Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings
by Simone Cavalheiro, José Fiadeiro (eds.)
|
عنوان فارسی: روش های رسمی: مبانی و برنامه های کاربردی: 20 سمپوزیوم برزیلی، SBMF 2017، رسیف، برزیل، 29 نوامبر - 1 دسامبر 2017، پرونده ها |