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 및 다른 저자
    • US$39.99
    • US$39.99

출판사 설명

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.

장르
컴퓨터 및 인터넷
출시일
2019년
12월 13일
언어
EN
영어
길이
281
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
19.8
MB
Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
2020년
Formal Methods. FM 2019 International Workshops Formal Methods. FM 2019 International Workshops
2020년
Software Technologies: Applications and Foundations Software Technologies: Applications and Foundations
2016년
Perspectives of System Informatics Perspectives of System Informatics
2018년
Rules and Reasoning Rules and Reasoning
2021년
Software Engineering and Formal Methods Software Engineering and Formal Methods
2017년
Distributed Computing and Internet Technology Distributed Computing and Internet Technology
2016년
Automated Deduction -- CADE-23 Automated Deduction -- CADE-23
2011년