Perspectives of System Informatics
12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers
Published on 13. December 2019
XVIII, 263 pages
978-3-030-37487-7 (ISBN)
Description
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.
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.
More details
Series
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Product notice
Reflowable
Illustrations
XVIII, 263 p. 198 illus., 51 illus. in color.
File size
17,54 MB
ISBN-13
978-3-030-37487-7 (9783030374877)
DOI
10.1007/978-3-030-37487-7
Schweitzer Classification
Other editions
Additional editions
Nikolaj Bjørner | Irina Virbitskaite | Andrei Voronkov
Perspectives of System Informatics
12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers
Book
12/2019
Springer
€53.49
Shipment within 7-9 days
Content
Mathematics of Computing.- Information Systems.- Formal Languages.- Automata Theory.- Algebraic Language Theory.- Logic.- Semantics and Reasoning.- Architectures.- Parallel Architectures.- Software and its engineering.- Document management and text processing.
