ISBN 3319153161 books & textbook
Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers (Programming and Software Engineering)
Springer /2015-02-18 Paperback / 395 Pages
isbn-10: 3319153161 / isbn-13: 9783319153162