"Formal methods for components and objects : 8th international symposium, FMCO 2009, Eindhoven, the Netherlands, November 4-6, 2009 : revised selected papers" - читать интересную книгу автора (Frank S de Boer; et al )