"Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised ... Computer Science and General Issues)" - читать интересную книгу автора (Amir Pnueli, Irina Virbitskaite, Andrei Voronkov)