Perspectives of systems informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers /
|aInternational Andrei Ershov Memorial Conference|n(7th :|d2009 :|cNovosibirsk, Russia)
245
10
|aPerspectives of systems informatics|h[electronic resource] :|b7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers /|cedited by Amir Pnueli, Irina Virbitskaite, Andrei Voronkov.
260
|aBerlin, Heidelberg :|bSpringer Berlin Heidelberg,|c2010.
300
|axiii, 426 p. :|bill., digital ;|c24 cm.
440
0
|aLecture notes in computer science,|x0302-9743 ;|v5947