
Formal Methods: Foundations and Applications
- Undertitel
- 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings
- Redaktör
- Sérgio Campos, Marius Minea
- Upplaga
- 1st ed. 2021
- ISBN
- 9783030921361
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2021-11-26
- Sidor
- 141
