Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 (Lecture Notes in Computer Science, Band 6957)

Components

von: Bernhard K. Aichernig · Frank S. de Boer · Marcello M. Bonsangue

Taschenbuch

Details (Deutschland)

ISBN: 978-3-642-25270-9

ISBN-10: 3-642-25270-2

Springer · 2011