Formal Methods: Foundations and Applications
24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings
Programming and Software Engineering 13130
Herausgegeben:Minea, Marius
Campos, Sé
rgio
- 出版社：Springer, Berlin; Springer
- 出版年月：2022年 00月
- ISBN：9783030921361
- 装丁：PAP
-
装丁について
- 版次：1st ed. 2021. 2022. IX