Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected ... Notes in Computer Science, Band 6286)

Netherlands

von: Frank S. de Boer · Marcello M. Bonsangue · Stefan Hallerstede · Michael Leuschel

Taschenbuch

ISBN-13: 978-3-642-17070-6

ISBN-10: 3-642-17070-6

Springer · 2011