Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers

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

Full description

Saved in:
Bibliographic Details
Main Author Voronkov, Andrei
Format eBook
LanguageEnglish
Published Netherlands Springer Nature 2015
Springer Berlin / Heidelberg
Springer
Edition1
SeriesLNCS sublibrary. SL 1, Theoretical computer science and general issues
Subjects
Computer programming
Computer programming, programs, data
Computer science
Software engineering-Congresses
Systems engineering
Online AccessGet full text
ISBN3662468239
9783662468234
3662468220
9783662468227

Cover

More Information
Summary: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.
ISBN:3662468239
9783662468234
3662468220
9783662468227