Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, the Netherlands, November 2 – 5, 2004; revised lectures / ed. de F.Boer [et al.], 2005 r=on-line. - Текст : электронный.
Приложение
для Android