Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, ... 7162 (Lecture Notes in Computer Science)

by Andrei Voronkov (Editor), Andrei Voronkov (Editor), Edmund Clarke (Editor), Irina Virbitskaite (Editor)

• New

  Paperback
  2012

  $74.25

  This book contains thoroughly refereed and revised papers from the 8th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2011, held in Akademgorodok, Novosibirsk, Russia, in June/July 2011.