"Formal methods for components and objects : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised papers" - читать интересную книгу автора (F S de Boer; Marcello Bonsangue )