Perspectives of systems informatics  7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers /  [electronic resource] : 
edited by Amir Pnueli, Irina Virbitskaite, Andrei Voronkov. 
 - Berlin, Heidelberg :  Springer Berlin Heidelberg,  2010. 
 - 1online resource (xiii, 426 pages) :  illustrations, digital. 
 - Lecture notes in computer science,  5947  0302-9743 ; .
<br/><br/><label>ISBN: </label>9783642114861 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science--Congresses.<br/>Computer programming--Congresses.<br/>Systems engineering--Congresses.<br/>Logics and Meanings of Programs.<br/>Programming Languages, Compilers, Interpreters.