Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

Author
Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov
Publisher
Springer International Publishing
Language
English
Edition
1st ed. 2019
Year
2019
Page
XVIII, 263
ISBN
978-3-030-37486-0,978-3-030-37487-7
File Type
pdf
File Size
17.0 MiB

This book constitutes the refereed proceedings of the 12th International Andrei P. Ershov Informatics Conference, PSI 2019, held in Novosibirsk, Russia, in July 2019.
The 18 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers cover various topics related to the Mathematics of Computing, Information Systems, Formal Languages, dependable and fault-tolerant Systems and Network, Automata Theory, and much more.

show more...

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book