Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers (Lecture Notes in Computer Science, Band 8997)

Symposium

von: Ivan Lanese · Eric Madelaine

Taschenbuch

ISBN-13: 978-3-319-15316-2

ISBN-10: 3-319-15316-1

Springer · 2015