Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, ... Notes in Computer Science, Band 10610)

Engineering

von: Zhenhua Duan · Luke Ong

Taschenbuch

ISBN: 978-3-319-68689-9

ISBN-10: 3-319-68689-5

Springer · 2017