ISBN 3319076019 books & textbook
Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers (Programming and Software Engineering)
Fiadeiro, José Luiz Liu, Zhiming Xue, Jinyun
Springer /2014-07-30 Paperback / 395 Pages
isbn-10: 3319076019 / isbn-13: 9783319076010
