
Formal Methods: Foundations and Applications
- Undertittel
- 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings
- Redaktør
- Sérgio Campos, Marius Minea
- Opplag
- 1st ed. 2021
- ISBN
- 9783030921361
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 26.11.2021
- Antall sider
- 141
