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 und andere
    • 42,99 €
    • 42,99 €

Beschreibung des Verlags

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.

GENRE
Computer und Internet
ERSCHIENEN
2019
13. Dezember
SPRACHE
EN
Englisch
UMFANG
281
Seiten
VERLAG
Springer International Publishing
ANBIETERINFO
Springer Science & Business Media LLC
GRÖSSE
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