Perspectives of system informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019 : revised selected papers /
作者:edited by Nikolaj Bjorner, Irina Virbitskaite, Andrei Voronkov.
出版者:Springer International Publishing : Imprint: Springer
出版地:Cham :
語文:英語
叢書名:Lecture notes in computer science, ; Theoretical computer science and general issues