&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Perspectives of Systems Informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : Revised Papers / Ed.: Amir Pnueli, Irina Virbitskaite, Andrei Voronkov. &mdash; Веrlin, Heidelberg : Springer, 2010. &mdash; XIII, 426 p. (Theoretical Computer Science and General Issues)(Lecture Notes in Computer Science , ISSN 0302-9743 ; 5947). &mdash; ISBN 978-3-642-11485-4.<br><br><br>Pnueli, Amir, ред.<br>Virbitskaite, Irina, ред.<br>Voronkov, Andrei, ред.<br><br>УДК: 004(063) ; 519.7(063) <br><br>[ SYS NUM: 30060 ]