Formal Methods : Foundations and Applications

Formal Methods : Foundations and Applications

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

oleh Sergio Campos
2/5
Pertama kali diterbitkan
2022
Penerbit
Springer International Publishing AG
Bahasa
English

Buku

Buku sejenis