Formal methods for components and objects : 5th international symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006: revised lectures / ed. F. S. de Boer, 2007 r=on-line. - Текст : электронный.
Приложение
для Android