Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers (Lecture Notes in Computer Science (9539), Band 9539)

Christiano

von: Christiano Braga · Peter Csaba Ölveczky

Taschenbuch

ISBN: 978-3-319-28933-5

ISBN-10: 3-319-28933-0

Springer · 2016