Cover Image
Read Now

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

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 c...

Full description

Bibliographic Details
Other Authors: Bjørner, Nikolaj (Editor), Virbitskaite, Irina (Editor), Voronkov, Andrei (Editor)
Format: eBook
Language:English
Published: Cham Springer International Publishing 2019, 2019
Edition:1st ed. 2019
Series:Theoretical Computer Science and General Issues
Subjects:
Computer Communication Networks
Computer Science Logic And Foundations Of Programming
Programming Techniques
Computer Science
Computer Programming
Logic In Ai.
Formal Languages And Automata Theory
Computer Networks 
Machine Theory
Logic Programming
Special Purpose And Application-based Systems
Computers, Special Purpose
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Description
Summary: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
Physical Description:XVIII, 263 p. 198 illus., 51 illus. in color online resource
ISBN:9783030374877

Similar Items