Formal Methods and Software Engineering
19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
Lecture Notes in Computer Science .10610
Herausgegeben von Duan, Zhenhua
Ong, Luke
- 出版社:Springer, Berlin; Springer International Publishing
- 出版年月:2017年 00月
- ISBN:9783319686899
- 装丁:PAP
-
装丁について
- 言語:ENG
- 版次:1st ed. 2017. 2017. xvii