1. Perspectives of system informatics : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers /: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers. (2019) Editors: Björner, Nikolaj; Virbitskaite, Irina; Voronkov, Andrei, 1959- Other Names: International Andrei Ershov Memorial Conference, 12th Record Type: Book Extent: 1 online resource (xviii, 263 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗