by Andrei Voronkov (Editor), Andrei Voronkov (Editor), Irina Virbitskaite (Editor)
This book contains the thoroughly refereed papers from the 9th International Ershov Informatics Conference, PSI 2014, held in St. Petersburg, Russia, in June 2014. The 17 revised full papers, 11 revised short papers, and 2 system and experimental papers presented in this book were carefully reviewed and selected from 80 submissions.
Format: Paperback
Pages: 432
Edition: 2015
Publisher: Springer
Published: 30 Apr 2015
ISBN 10: 3662468220
ISBN 13: 9783662468227