Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures (Lecture Notes in Computer Science, Band 5751)

von: Marcello M. Bonsangue · Eric Madelaine Taschenbuch Details (Deutschland) ISBN-13: 978-3-642-04166-2 ISBN-10: 3-642-04166-3 Springer · 2009