Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : Revised Papers

     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. — Веrlin, Heidelberg : Springer, 2010. — XIII, 426 p. (Theoretical Computer Science and General Issues)(Lecture Notes in Computer Science , ISSN 0302-9743 ; 5947). — ISBN 978-3-642-11485-4.


Pnueli, Amir, ред.
Virbitskaite, Irina, ред.
Voronkov, Andrei, ред.

УДК: 004(063) ; 519.7(063)

[ SYS NUM: 30060 ]