by Andrei Voronkov (Editor), Andrei Voronkov (Editor), Irina Virbitskaite (Editor), Edmund Clarke (Editor)
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.
Format: Paperback
Pages: 428
Edition: 2012
Publisher: Springer
Published: 30 May 2012
ISBN 10: 3642297080
ISBN 13: 9783642297083