Formal Methods and Software Engineering
26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10-13, 2025, Proceedings
Lecture Notes in Computer Science
André, Étienne (EDT)
Wang, Jingyi (EDT)
Zhan, Naijun (EDT)
- 出版社：Springer Verlag, Singapore
- 出版年月：2025年 12月
- ISBN：9789819542123
- 装丁：PAP
-
装丁について
- 言語：ENG
- 巻数・ページ数：386 p.