Perspectives of system informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015 : revised selected papers /
作者:edited by Manuel Mazzara, Andrei Voronkov.
出版者:Springer International Publishing : Imprint: Springer