Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, ... Notes in Computer Science, Band 10009)

Engineering

von: Kazuhiro Ogata · Mark Lawford · Shaoying Liu

Taschenbuch

ISBN-13: 978-3-319-47845-6

ISBN-10: 3-319-47845-1

Springer · 2016