Formal Methods : Foundations and Applications

Formal Methods : Foundations and Applications

24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings

poolt Sergio Campos
2/5
Esmakordselt avaldatud
2022
Kirjastajad
Springer International Publishing AG
Keel
English

Raamatud

Sarnased raamatud