Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures ... Notes in Computer Science (4111), Band 4111)

von: Frank S. de Boer · Susanne Graf · Marcello M. Bonsangue · Willem-Paul de Roever Taschenbuch Details (Deutschland) ISBN: 978-3-540-36749-9 ISBN-10: 3-540-36749-7 Springer · 2008