Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8974)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: PSI 2014.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
This book contains the thoroughly refereed papers from the 9th International Ershov Informatics Conference, PSI 2014, held in St. Petersburg, Russia, in June 2014.Â
The 17 revised full papers, 11 revised short papers, and 2 system and experimental papers presented in this book were carefully reviewed and selected from 80 submissions. The volume also contains 5 keynote talks which cover a range of hot topics in computer science and informatics. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and software engineering and information technologies.
Similar content being viewed by others
Keywords
- Computational complexity
- Concurrency
- Formal languages and automata theory
- Foundations of program developments
- Functional languages
- Information technologies
- Knowledge engineering
- Knowledge management
- Knowledge-based systems
- Logic
- Model checking
- Models of computation
- Program analysis
- Program constructs
- Programming methodology
- Semantics and reasoning
- Software engineering
- System analysis
- System development
- Timed and hybrid models
Table of contents (32 papers)
-
Front Matter
Other volumes
-
Perspectives of System Informatics
Editors and Affiliations
Bibliographic Information
Book Title: Perspectives of System Informatics
Book Subtitle: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers
Editors: Andrei Voronkov, Irina Virbitskaite
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-662-46823-4
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2015
Softcover ISBN: 978-3-662-46822-7Published: 30 April 2015
eBook ISBN: 978-3-662-46823-4Published: 20 April 2015
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIII, 415
Number of Illustrations: 106 b/w illustrations
Topics: Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Software Engineering, Computation by Abstract Devices