EN ورود

کشف منابع

Brazilian Symposium

کتاب‌ها

2 نتیجه

Cover of Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

English Intermediate

Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

Tiago Massoni,Mohammad Reza Mousavi

2018 مشاهدهٔ کتاب

Cover of Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings (Programming and Software Engineering)

English Intermediate

Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings (Programming and Software Engineering)

Sérgio Campos (editor),Marius Minea (editor)

2021 مشاهدهٔ کتاب