ISBN 9783319686899 books & textbook

Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings (Programming and Software Engineering)

Duan, Zhenhua Ong, Luke

Springer /2017-10-14 Paperback / 515 Pages
isbn-10: 3319686895 / isbn-13: 9783319686899