Perspectives of System Informatics Perspectives of System Informatics

Perspectives of System Informatics

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

Nikolaj Bjørner والمزيد
    • ‏39٫99 US$
    • ‏39٫99 US$

وصف الناشر

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.

النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠١٩
١٣ ديسمبر
اللغة
EN
الإنجليزية
عدد الصفحات
٢٨١
الناشر
Springer International Publishing
البائع
Springer Nature B.V.
الحجم
١٩٫٨
‫م.ب.‬
Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
٢٠٢٠
Formal Methods. FM 2019 International Workshops Formal Methods. FM 2019 International Workshops
٢٠٢٠
Software Technologies: Applications and Foundations Software Technologies: Applications and Foundations
٢٠١٦
Perspectives of System Informatics Perspectives of System Informatics
٢٠١٨
Rules and Reasoning Rules and Reasoning
٢٠٢١
Software Engineering and Formal Methods Software Engineering and Formal Methods
٢٠١٧
Distributed Computing and Internet Technology Distributed Computing and Internet Technology
٢٠١٦
Automated Deduction -- CADE-23 Automated Deduction -- CADE-23
٢٠١١