Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings ... Notes in Computer Science Book 10610)
まだ評価がありません
2017
·
英語
·
キンドル