by Andrei Voronkov (Editor), Alexander K . Petrenko (Editor), Alexander K. Petrenko (Editor), Andrei Voronkov (Editor)
Ershov Informatics Conference, PSI 2017, held in Moscow, Russia, in June 2017. The 31 full papers presented in this volume were carefully reviewed and selected from 57 submissions.
Format: Paperback
Pages: 444
Edition: 1st ed. 2018
Publisher: Springer
Published: 18 Jan 2018
ISBN 10: 3319743120
ISBN 13: 9783319743127