Perspectives of system informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017 : revised selected papers /
作者:edited by Alexander K. Petrenko, Andrei Voronkov.
出版者:Springer International Publishing : Imprint: Springer