Perspectives of system informatics : 7th international Andrei Ershov memorial Conference, PSI 2009, Novosibirsk, Russia June 15-19,2009. Revised papers /
Amir Pnueli, Irina Virbitskait, Andrei Voronkov (eds.).
- Berlin : Springer, 2010.
- xiii, 426 p. : ill.
- Lecture notes in computer science ; 5947 .
Includes bibliographical references and index
9783642114854
Computer programming. Computer science--Congresses. Systems engineering.