Perspectives of systems informatics : 7th International Andrei Ershov memorial conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009: revised papers / ed. A. Pnueli, 2010 r=on-line. - Текст : электронный.
Приложение
для Android